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 3. DISYUNCIN

v v v v v v
v f f v f v
f v f f v v
f f f f f f

Lectura 1: Una conjuncin es verdadera si Lectura 1: Una disyuncin es verdadera si

y slo si ambos conyuntos son
verdaderos.
Lectura 2: Una conjuncin es falsa si y
slo si al menos uno de sus conyuntos es
falso.
y slo si al menos uno de sus disyuntos es
verdadero.
Lectura 2: Una disyuncin es falsa si y
slo si ambos disyuntos son falsos.

4. CONDICIONAL
5. BICONDICIONAL

v v v

v f f
v v v
f v v
v f f
f f v
f v f
f f v
Lectura 1: Un condicional es verdadero si
y slo si o bien su antecedente es falso o
Lectura 1: Un bicondicional es verdadero
bien su consecuente es verdadero.
si y slo si sus dos miembros poseen el
Lectura 2: Un condicional es falso si y slo mismo valor veritativo (i. e., son equi-
si su antecedente es verdadero y su valentes).
consecuente falso.
Lectura 2: Un bicondicional es falso si y
slo si sus dos miembros poseen distinto
valor veritativo (i. e., no son equi-
valentes).