P Q ¬P ¬Q PꓥQ PꓦQ P→Q

1 1 0 0 1 1 1
1 0 0 1 0 1 0
0 1 1 0 0 1 1
0 0 1 1 0 0 1

Simbolos Definición
ꓥ Conjunción
ꓦ Disyunción
→ Condicional (Implicación)
↔ Bicondicional (Equivalencia)
¬ Negación
≡ Equivalencia Lógica
P↔Q P→Q P↔Q Verdadero → True
1 #NAME? #NAME? Falso → False
0 #NAME? #NAME?
0 #NAME? #NAME?
1 #NAME? #NAME?
P Q n= 2 ^ 2 = 4 V
1 1 2V F
4 filas
1 0 2F V
0 1 F
0 0
P Q R PꓥQ (PꓥQ)ꓦR n= 2 ^ 3 = 8
1 1 1 1 1
1 1 0 1 1
1 0 1 0 1
8filas
1 0 0 0 0
0 1 1 0 1
0 1 0 0 0
0 0 1 0 1
0 0 0 0 0
 V
2V F
4V 2F V
F
V
4F 2V F
2F V
F
P Q R S n= 2 ^ 4 = 16
1 1 1 1
1 1 1 0
1 1 0 1
8V
1 1 0 0
1 0 1 1
1 0 1 0
1 0 0 1
16 FILAS
1 0 0 0
0 1 1 1
0 1 1 0
0 1 0 1
8F
0 1 0 0
0 0 1 1
0 0 1 0
0 0 0 1
0 0 0 0
 V
2V F
4V 2F V
F
V
4F 2V F
2F V
F
V
2V F
4V 2F V
F
V
4F 2V F
2F V
F
P Q R S T n= 2 ^ 5 = 32
1 VERDADERO VERDADERO VERDADERO VERDADERO
1 VERDADERO VERDADERO VERDADERO FALSO
1 VERDADERO VERDADERO FALSO VERDADERO
1 VERDADERO VERDADERO FALSO FALSO
1 VERDADERO FALSO VERDADERO VERDADERO
1 VERDADERO FALSO VERDADERO FALSO
1 VERDADERO FALSO FALSO VERDADERO
1 VERDADERO FALSO FALSO FALSO
1 FALSO VERDADERO VERDADERO VERDADERO
1 FALSO VERDADERO VERDADERO FALSO
1 FALSO VERDADERO FALSO VERDADERO
1 FALSO VERDADERO FALSO FALSO
1 FALSO FALSO VERDADERO VERDADERO
1 FALSO FALSO VERDADERO FALSO
1 FALSO FALSO FALSO VERDADERO
1 FALSO FALSO FALSO FALSO
0 VERDADERO VERDADERO VERDADERO VERDADERO
0 VERDADERO VERDADERO VERDADERO FALSO
0 VERDADERO VERDADERO FALSO VERDADERO
0 VERDADERO VERDADERO FALSO FALSO
0 VERDADERO FALSO VERDADERO VERDADERO
0 VERDADERO FALSO VERDADERO FALSO
0 VERDADERO FALSO FALSO VERDADERO
0 VERDADERO FALSO FALSO FALSO
0 FALSO VERDADERO VERDADERO VERDADERO
0 FALSO VERDADERO VERDADERO FALSO
0 FALSO VERDADERO FALSO VERDADERO
0 FALSO VERDADERO FALSO FALSO
0 FALSO FALSO VERDADERO VERDADERO
0 FALSO FALSO VERDADERO FALSO
0 FALSO FALSO FALSO VERDADERO
0 FALSO FALSO FALSO FALSO
 p Proposición Equivalencia Resultado
a Pv¬P ≡ VERDADERO TAUTOLOGIA
b P^¬P ≡ VERDADERO CONTRADICCION
c P v FALSO ≡ P TAUTOLOGIA
d P ^ VERDADERO ≡ P TAUTOLOGIA
e P v VERDADERO ≡ VERDADERO TAUTOLOGIA
f P ^ FALSO ≡ FALSO TAUTOLOGIA
g PvP ≡ P TAUTOLOGIA
h P^P ≡ P TAUTOLOGIA
i ¬(¬P) ≡ P TAUTOLOGIA
j PvQ ≡ QvP TAUTOLOGIA
k P^Q ≡ Q^P TAUTOLOGIA
l P v (Q v R) ≡ (P v Q) v R TAUTOLOGIA
m P ^ (Q ^ R) ≡ (P ^ Q) ^ R TAUTOLOGIA
n P v (Q ^ R) ≡ (P v Q) ^ (P v R) TAUTOLOGIA
o P ^ (Q v R) ≡ (P ^ Q) v (P ^ R) TAUTOLOGIA
p ¬(P ^ Q) ≡ ¬P v ¬Q TAUTOLOGIA
q ¬(P v Q) ≡ ¬P ^ ¬Q TAUTOLOGIA
r P→Q ≡ ¬P v Q TAUTOLOGIA
s P↔Q ≡ (P → Q) ^ (Q → P) TAUTOLOGIA
plus ¬A v P ≡ A→P Este es un ejercicio opcional, sólo para quienes deseen hacerlo. A es una proposición y P es otra.
plus (A ^ P) v (¬A ^ ¬P) ≡ A↔P Este es un ejercicio opcional, sólo para quienes deseen hacerlo. A es una proposición y P es otra.

A
p ¬p pv¬p resultado Equivalencia
1 0 1 1 1
0 1 1 1 1

B
p ¬p P^¬P resultado Equivalencia
1 0 0 1 0
0 1 0 1 0

C
p 0 P v FALSO resultado Equivalencia
1 0 1 p 1
0 0 0 p 1

D
p P ^ VERDADERO resultado Equivalencia
1 1 1 p 1
0 1 0 p 1

E
p P v VERDADERO resultado Equivalencia
1 1 1 p 1
0 1 1 p 1

F
p P ^ FALSO resultado Equivalencia
1 0 0 0 1
0 0 0 0 1

G
p PvP resultado Equivalencia
1 1 1 p 1
0 0 0 p 1
H
p P^P resultado Equivalencia
1 1 1 p 1
0 0 0 p 1
 L p q R p v (Q v R) (P v Q)
1 1 1 1 1 1 1
1 1 0 1 1 1 1
1 0 1 1 1 1 1
1 0 0 1 1 0 1
0 1 1 0 1 1 1
0 1 0 0 1 1 1
0 0 1 0 1 1 0
0 0 0 0 0 0 0

n hacerlo. A es una proposición y P es otra.

n hacerlo. A es una proposición y P es otra.

I
p ¬(¬P) resultado Equivalencia
1 0 1 p 1
0 1 0 p 1

J
p q PvQ resultado Equivalencia
1 1 1 1 1
1 0 1 1 1
0 1 1 1 1
0 0 0 0 1

K
p q P^Q resultado Equivalencia
1 1 1 1 1
1 0 0 0 1
0 1 0 0 1
0 0 0 0 1

M p q R p ^ (Q ^ R) (P ^ Q)
1 1 1 1 1 1 1
1 1 0 1 0 0 1
1 0 1 1 0 0 0
1 0 0 1 0 0 0
0 1 1 0 0 1 0
0 1 0 0 0 0 0
0 0 1 0 0 0 0
0 0 0 0 0 0 0

N p q R p v (Q ^ R) (P v Q)
1 1 1 1 1 1 1
1 1 0 1 1 0 1
1 0 1 1 1 0 1
1 0 0 1 1 0 1
0 1 1 0 1 1 1
0 1 0 0 0 0 1
0 0 1 0 0 0 0
0 0 0 0 0 0 0
O p q R p ^ (Q v R) (P ^ Q)
1 1 1 1 1 1 1
1 1 0 1 1 1 1
1 0 1 1 1 1 0
1 0 0 1 0 0 0
0 1 1 0 0 1 0
0 1 0 0 0 1 0
0 0 1 0 0 1 0
0 0 0 0 0 0 0

P p q ¬P ¬Q ¬(P ^ Q) ¬P ^ ¬Q equivalencia
1 1 0 0 0 0 1
1 0 0 1 0 0 1
0 1 1 0 0 0 1
0 0 1 1 1 1 1

Q p q ¬P ¬Q ¬(P v Q) ¬P v ¬Q equivalencia
1 1 0 0 0 0 1
1 0 0 1 1 1 1
0 1 1 0 1 1 1
0 0 1 1 1 1 1

R p q P→Q ¬P V equivalencia
1 1 #NAME? 0 1 #NAME?
1 0 #NAME? 0 0 #NAME?
0 1 #NAME? 1 1 #NAME?
0 0 #NAME? 1 1 #NAME?
s p q P↔Q (P → Q) ^ (Q → P) equivalencia
1 1 #NAME? #NAME? #NAME? #NAME? #NAME?
1 0 #NAME? #NAME? #NAME? #NAME? #NAME?
0 1 #NAME? #NAME? #NAME? #NAME? #NAME?
0 0 #NAME? #NAME? #NAME? #NAME? #NAME?
v R Equivalencia
1 1 1
1 0 1
1 1 1
1 0 1
1 1 1
1 0 1
1 1 1
0 0 1
^ R Equivalencia
1 1 1
0 0 1
0 1 1
0 0 1
0 1 1
0 0 1
0 1 1
0 0 1

^ (P v R)
1 1 1
1 1 1
1 1 1
1 1 1
1 1 1
0 0 1
0 1 1
0 0 1
v (P ^ R) Equivalencia
1 1 1
1 0 1
1 1 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1