Professional Documents
Culture Documents
LEYES LGICAS
ppp ; ppp
pqqp ; pqqp ; pq q p
p (q r) (p q) r
p (q r) (p q) r (p q) r p (q r)
p (q r) (p q) (p r)
P (q r) (p q) (p r)
p (q r) (p q) (p r)
p (q r) (p q) (p r)
VppVp FppFp
FppFF VppVV
p (p q) p p (p q) p q
p (p q) p p (p q) p q
p p V V F p ( p) p
p p F F V
(p q) p q ; (p q) p q
p q p q (p q) p q
p q q p (p q)
10.- Bicondicional
p q (p q) (q p)
p q (p q) (p q)