Escolar Documentos
Profissional Documentos
Cultura Documentos
Sin embargo el recproco de p q, es q p, que en palabras dice: si x2 es par entonces x es par; enunciado
que es falso, basta ensayar con x = 6. Por tanto q p es falso, lo cual se representa por q ; p.
Se observe en este ejemplo, que x sea par es condicin suficiente para que x2 sea par. Sin embargo, el
recproco no es cierto, pues q ; p, lo cual indica que el hecho ser x2 par no es condicin suficiente para que
x sea par, es decir el recproco del enunciado original no es cierto.
2. Contradiccin. Se dice que un enunciado es una contradiccin, si es una proposicin cuyo valor de
verdad es siempre falso (F). Por ejemplo, si p es una proposicin, entonces p p es una proposicin
que siempre tiene valor de verdad falso, ver la siguiente tabla de verdad,
p p pp
V F F
F V F
3. Indeterminacin. Cuando un enunciado es verdadero para algunos valores de verdad de las proposi-
ciones que la componen, y es falso para otros valores de verdad de las proposiciones que la componen,
entonce de dice que el enunciado es una indeterminacin. Por ejemplo, si p y q dos proposiciones en-
tonces el enunciado p q, corresponde a una indeterminacin, pues es una proposicin que no siempre
es verdadera, ni siempre es falsa, ver la siguiente tabla de verdad,
p q pq
V V V
F V V
V F V
F F F
Solucin. Como p, y q son proposiciones falsas entonces p, q son proposiciones verdaderas, luego
( p q) es verdadera, y (p q) es falsa. Por tanto en antecedente de la proposicin condicional
( p q) (p q) es verdadero , y el consecuente es verdadero, luego la proposicin es falsa (F ).
Ejemplo. Considere que p representa una proposicin verdadera (V ), y q representan una proposicin falsa
(F ). Determinar el valor de verdad de la siguiente proposicin (p q) (p q).
A continuacin se enuncian algunas equivalencias lgicas, que se usan frecuentemente, las cuales pueden ser
probadas como ejercicio por el lector.
1. ( p) p
2. p p V ppF
3. p F p p V p
4. p V V p F F
5. p q q p pq qp
6. (p q) p q (p q) p q
7. (p q) r p (q r) (p q) r p (q r)
8. p (q r) (p q) (p r) p (q r) (p q) (p r)
9. p q ( p q)
10. p q ( q p)
11. (p q) p p (p q)
12. (p q) q p
13. (p q) q p
14. (p q) (q r) (p r)
15. (p q) ( p q) p
1. x 4 = 0
2. x(x 2) = 0
3. x2 = 9 x = 3
Estos enunciados no son proposiciones, pues no se conoce el valor de la variable x. Analicemos cundo estos
enunciados se convierten en proposiciones verdaderas.