Académique Documents
Professionnel Documents
Culture Documents
proposiciones
Objetivos generales
Ejemplos de proposiciones:
Dos es par
Tres es mayor que diez
Tres más cuatro es nueve
Una proposición es simple o atómica, si ninguna
parte de ella es a su vez una proposición.
y
Disyunción. Es aquel conectivo que une dos
proposiciones ofreciendo una alternativa entre una
proposición o la otra, así como también ofrece la
posibilidad que sean ambas.
Su notación es:
p q
Implicación o Condicional
p q
Bicondicional o doble implicancia.
p p
V F
F V
Valores de verdad de la conjunción:
p q pq
V V V
V F F
F V F
F F F
Valores de verdad de la disyunción:
p q pq
V V V
V F V
F V V
F F F
Valores de verdad
Disyunción excluyente
p q p q
V V F
V F V
F V V
F F F
Valores de verdad de la implicancia:
p q pq
V V V
V F F
F V V
F F V
Valores de verdad de la bicondicional:
p q pq
V V V
V F F
F V F
F F V
Verdad lógica o Tautología.
p q pq (pq)p
V V V V
V F F V
F V F V
F F F V
Contingencia
Ley de Idempotencia
ppp
ppp
Ley Asociativa
(p q ) r p (q r)
(p q) r p (q r)
Ley Conmutativa
pqqp
p q q p
Ley Distributiva a (b + c ) (a b) + (a c)
p (q r) (p q) (p r)
p (q r) (p q) (p r)
¬(P v Q) ≡ (¬P ^ ¬Q) Si nos encontramos con una proposición disyuntiva totalmente negada, la ley
de Morgan nos permite transformarla en una proposición conjuntiva con cada uno de sus miembros
negados
(P v Q) ≡ ¬(¬P ^ ¬Q) Si nos encontramos con una proposición disyuntiva afirmada, la ley de Morgan
nos permite transformarla en una proposición conjuntiva negada en su totalidad y en sus miembros
Ley de Absorción
p (p q) p
p (p q) p
p p
V F
F V
p qpq
(p q) (p q)
p q ((p q) (q p)
(p (q q)) p
Utilizando las equivalencias lógicas
p qpq
p q pq Implicancia
p q pq Negación
p qpq DeMorgan
Utilizando las equivalencias lógicas
(p q) (p q) q
(p q) (p q) Implicancia
p q p p q q distribución
(p p) q p p q q q distribución
F ( q (p p) ) q
F ( q V ) q
F q q
q
Proposiciones lógicamente verdaderas
((p q) p) q
((p q) (q r)) (p r)
((p q) (q r)) (p r)
(p q) ( p q)
(p q) (p q) (q p)
((p q) (q r) (r p)) ((p q) (q r))
((p q) ( p q)) q
((p q) (r q)) ((p q) q)
((p (q r)) ((p q) (p r))
((p (q r)) ((p q) (p r))
((p r) q)) (p (r q))
Modus Ponendo Ponens
El condicional o implicación es aquella operación que
establece entre dos enunciados una relación de causa-
efecto. La regla ‘ponendo ponens’ significa, “afirmando
afirmo” y en un condicional establece, que si el
antecedente (primer término, en este caso p) se afirma,
necesariamente se afirma el consecuente (segundo
término, en este caso q).
p∧ (p q) q
(p q) ∧ q p
Si ( p q ) q p