CONECTIVAS LGICAS
Basta con dominar una cualquiera de ambas lecturas de cada conectiva tanto para poder
recordar y usar sus condiciones de verdad, como para poder reconstruir su tabla de verdad.
1. NEGACIN
v
f
f
v
Lectura 1: Una negacin es verdadera
si y slo si la frmula negada es falsa.
Lectura 2: Una negacin es falsa si y
slo si la frmula negada es verdadera.
2. CONJUNCIN
v
v
f
f
v
f
v
f
v
f
f
f
3. DISYUNCIN
v
v
f
f
v
f
v
f
v
v
v
f
Lectura 1: Una conjuncin es verdadera si
y slo si ambos conyuntos son
verdaderos.
Lectura 1: Una disyuncin es verdadera si
y slo si al menos uno de sus disyuntos es
verdadero.
Lectura 2: Una conjuncin es falsa si y
slo si al menos uno de sus conyuntos es
falso.
Lectura 2: Una disyuncin es falsa si y
slo si ambos disyuntos son falsos.
4. CONDICIONAL
v
v
f
f
v
f
v
f
v
f
v
v
Lectura 1: Un condicional es verdadero si
y slo si o bien su antecedente es falso o
bien su consecuente es verdadero.
Lectura 2: Un condicional es falso si y slo
si su antecedente es verdadero y su
consecuente falso.
5. BICONDICIONAL
v
v
f
f
v
f
v
f
v
f
f
v
Lectura 1: Un bicondicional es verdadero
si y slo si sus dos miembros poseen el
mismo valor veritativo (i. e., son equivalentes).
Lectura 2: Un bicondicional es falso si y
slo si sus dos miembros poseen distinto
valor veritativo (i. e., no son equivalentes).