PROPOSICIONES EQUIVALENTES

Formalmente,

dos proposiciones
simples son equivalentes cuando
tienen igual valor de verdad es
decir, cuando las dos son falsas o
las dos son verdaderas.
Entonces, son equivalentes:
p: Espaa es un pas europeo.
q: 2 + 5 = 7. Porque ambas son
verdaderas. Notacin: p q

PROPOSICIONES EQUIVALENTES
Si dos proposiciones compuestas

son equivalentes, ambas tienen el

mismo valor de verdad para todas
las combinaciones de valores de
las proposiciones simples que la
forman. En consecuencia, sus
tablas de verdad son iguales.
Entonces: (p q) p q

CONDICIONAL O IMPLICACION
La

implicacin
de
dos
proposiciones
simples
p
(antecedente) y q (consecuente)
es una proposicin compuesta
equivalente a p q.
Notacin: p q.
Se lee: Si p, entonces q; q si p;
slo si p, q, p implica q, etc.

TABLA DE VERDAD
V(p)

V(q)

V(pq)

0
0
1
La implicacin es falsa nicamente cuando el
antecedente es verdadero y el consecuente
es falso. Entonces, es verdadera toda
implicacin
cuyo antecedente es FALSO.
cuyo consecuente es VERDADERO.

BICONDICIONAL O
DOBLE IMPLICACION
La doble implicacin de dos

proposiciones simples p y q es
una proposicin compuesta
equivalente a (p q) (q p).
Notacin: p q.
Se lee: p si, y slo si q; p
equivalente a q, etc.

TABLA DE VERDAD
V(p)

V(q)

V(pq)

DISYUNCION
EXCLUYENTE
La disyuncin excluyente

de
dos
proposiciones
simples p y q es una
proposicin
compuesta
equivalente a (pq) (pq)
Notacin: p v q.
Se lee: p o q.

TABLA DE VERDAD
V(p)

V(q)

V(p v q)