Ejemplo.

De la aritmtica se sabe que para cada nmero real x se tiene:

Si x es par entonces x2 es par.
Si denotamos por p : x es par, y por q : x2 es par, entonces el enunciado anterior se puede representar por
p q, y como esta proposicin es verdadera, se puede representar por p q.

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.2. Clasificacin de enunciados de acuerdo al valor de verdad.

1. Tautologa. Se dice que un enunciado es una tautologa, si es una proposicin cuyo valor de verdad es
siempre verdadero (V). Por ejemplo, si p es una proposicin, entonces p p es una proposicin cuyo
valor de verdad es siempre verdadero, ver la siguiente tabla de verdad,
p p pp
V F V
F V V

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

Ejemplo. Considere los siguientes enunciados p : El 10 no es impar, q : El 6 es nmero entero. Escribir en

lenguaje corriente los siguientes enunciados:
a) p, b) p q, c) p q, d) p ( q).
Solucin.
a) p : El 10 es impar

b) p q : El 10 no es impar o el 6 es nmero entero

c) p q : El 10 no es impar y el 6 no es nmero entero

d) (p q) : No es cierto que, el 10 no sea impar y el 6 no sea nmero entero.

Ejemplo. Considere que p, y q representan dos proposiciones falsas (F ). Determinar el valor de verdad de
la siguiente proposicin ( p q) (p q).

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).

Solucin. Como p es verdadera, y q es falsa entonces q es verdadera, y as (p q) es verdadera. Ahora,

como q es verdadera, el consecuente del condicional (p q) es verdadero, y as el condicional (p q) es
verdadero. Por tanto (p q)(p q) es verdadero por ser la conjuncin de dos proposiciones verdaderas.

A continuacin se enuncian algunas equivalencias lgicas, que se usan frecuentemente, las cuales pueden ser
probadas como ejercicio por el lector.

Algunas leyes lgicas.

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

2.3. Enunciados proposicionales.

Antes se defini como proposicin a un enunciado el cual es verdadero es falso. Consideremos ahora los
siguientes enunciados,

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.