FUNDAMENTOS DE LA LOGICA SIMBOLICA 1 a) b) c) d) e) )
P ∨q ∨ r p∨q⇒r p ∧q p⇔q p ⇒q !p
ÁREA COMÚN INSTITUCIONAL – CIENCIAS BÁSICAS a) E" c"#$a c"#$a e% a&radab a&radab"e "e ' (a$% (a$% de de d#a de ca$p b) E" c"#$a e% a&radab"e a&radab"e e*+*ce e*+*ce% % (a$% (a$% de d#a de de ca$p c) ,a$% de de d#a de de ca$p e*+*ce% e*+*ce% e" c"#$a e% e% a&radab"e a&radab"e
A
p
q
(p∨q)
∨p
V
V
V
V
V
F
V
V
F
VB
V
V
F
F
F
F
p
q
(p∨q)
⇒p
V
V
V
V
p V
Fq
V
.p∨q)
V
F
V
V
V
F V
F V
F
V
F
V
F
F
V
V
F
F
F
F
V
V
V
C
p⇔
V
D p
q
⇒
,
.q ⇒ p) ,
,
.p⇒ q) ,
, ,
F
F
,
F
F
,
,
,
,
F
F
,
,
,
E
. ∨ ./ r) p
q
r
∨
,
.p∧q ) ,
,
./ r) F
,
,
,
F
,
,
,
F
,
,
F
,
,
,
,
F
F
,
,
,
F
,
,
,
,
F
F
F
,
,
,
F
F
,
F
,
,
,
F
F
F
F
,
,
/ .r ⇒ r) p
q
,
,
,
F
F
,
F
F
.r⇒r )