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
Ejercicio Proposición Equivalencia Resultado
a Pv¬P ≡ VERDADERO TAUTOLOGIA
b P^¬P ≡ VERDADERO CONTRADICCION
c P v FALSO ≡ P
d P ^ VERDADERO ≡ P
e P v VERDADERO ≡ VERDADERO
f P ^ FALSO ≡ FALSO
g PvP ≡ P
h P^P ≡ P
i ¬(¬P) ≡ P
j PvQ ≡ QvP
k P^Q ≡ Q^P
l P v (Q v R) ≡ (P v Q) v R
m P ^ (Q ^ R) ≡ (P ^ Q) ^ R
n P v (Q ^ R) ≡ (P v Q) ^ (P v R)
o P ^ (Q v R) ≡ (P ^ Q) v (P ^ R)
p ¬(P ^ Q) ≡ ¬P v ¬Q
q ¬(P v Q) ≡ ¬P ^ ¬Q
r P→Q ≡ ¬P v Q
s P↔Q ≡ (P → Q) ^ (Q → P)
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 a
1 0 1 1 1
0 1 1 1 1

b
p ¬p P^¬P resultado b
1 0 0 1 0
0 1 0 1 0

c
p 0 P v FALSO
1 0 1 p 1
0 0 0 p 1

d
p P ^ VERDADERO
1 1 1 p 1
0 1 0 p 1

e
p P v VERDADERO
1 1 1 p 1
0 1 1 p 1

f
p P ^ FALSO
1 0 0 0 1
0 0 0 0 1

g
p PvP
1 1 1 p 1
0 0 0 p 1
h
p P^P
1 1 1 p 1
0 0 0 p 1

s
 L p q R QvR P v (Q v R)
1 1 1 1 1
1 1 0 1 1
1 0 1 1 1
1 0 0 0 1
0 1 1 1 1
0 1 0 1 1
0 0 1 1 1
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)
1 0 1 p 1
0 1 0 p 1

j
p q PvQ
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
1 1 1 1 1
1 0 0 0 1
0 1 0 0 1
0 0 0 0 1

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

n p q R (P v Q) (P v R)
1 1 1 1 1
1 1 0 1 1
1 0 1 1 1
1 0 0 1 1
0 1 1 1 1
0 1 0 1 0
0 0 1 0 1
0 0 0 0 0
o p q R (P ^ Q) (P ^ R)
1 1 1 1 1
1 1 0 1 0
1 0 1 0 1
1 0 0 0 0
0 1 1 0 0
0 1 0 0 0
0 0 1 0 0
0 0 0 0 0
(P v Q) ^ (P v R)
1
1
1
1
1
0
0
0
(P ^ Q) v (P ^ R)
1
0
0
0
0
0
0
0