conectivos lógicos propiedades

a) la conjunción p v q 1a. pvp=p

1b. p˄p=p
p q pvq 2a. pvq=qvp
V V V 2b. p˄q=q˄p
3a. (p v q) v r = (p v q) v r
V F V
3b. (p ˄ q) ˄ r = p ˄ (q ˄ r)
F V V 4a. p v (q ˄ r) = p v q) ˄ (p v r),
F F F 4b. p ˄ (q v r) = (p ˄ q) v (p˄
5a. pvf=p
5b. p˄f=f
b) la disyunción p v q 6a. pvv=v
6b. p˄v=p
p q p˄ q 7a. p v ( ~p ) = v
V V V 7b. p ˄ ( ~p) = f
8a. ~~ p = p
V F F 8b. ~v = f , ~f = v
F V F
F F F leyes de Morgan

~ (p v q) = ( ~p) ˄ (~q)
~ (p ˄ q) = ( ~p) v (~q)
c) negación
Ley de la condicional
p ~
p→ q=~p vq
V F
F V ~ p→ q)=p ˄~q

ley de la bicondicional
d) la condicional(implicativa)
p↔ q)= p→ q)˄ q→ p)
antecedente y consecuente
p↔ q)= p˄ q)v ~p˄~q)
p q p→ q
ley de absorción
V V V
V F F p ˄ p v q p
F V V p v p ˄ q p
F F V
~p v p ˄ q ~p v q

~p ˄ p v q ~p ˄ q
e) bicondicional
leyes de transposición
p q p↔ q
V V V p→ q)= ~q→ ~p)
V F F
p↔ q)= ~q↔ ~p)
F V F
F F V

f) disyunción exclusiva

p q p∆ q
V V F
V F V
F V V
F F F