Académique Documents
Professionnel Documents
Culture Documents
1. Sean p = "Luis lee la Prensa ", q = "Luis lee el Mundo" y r = " Luis lee el
Universal". Escriba cada una de las siguientes proposiciones en forma
simblica.
a.)
b.)
c.)
d.)
Solucin.
a)
b)
c)
d)
(p q) r
(p q ) ~(p r)
~(p ~r)
~( r q)~p
2. Para las siguientes expresiones: construya los respectivos rboles, las tablas de verdad y
determine si son tautologas, contradicciones o contingencias.
a)
[(~p ^ q) (p V ~r)] ~ (p r)
ES UNA CONTINGENCIA
p
q
r
r
TABLA DE LA VERDAD
~ (~p ^ ~
P
q)
r
F F F V
F
V
p q r
(p V
~r)
V
[(~p ^ q) (p
V ~r)]
V
(p
r)
V
[(~p ^ q) (p V ~r)] ~
(p r)
F
~ (p r)
F F V V
F V F V
F V V V
V F F F
V F V F
V V F F
V V V F
p
q
r
r
Tabla de Verdad
p
~P
~p
r
(pV
s)
[(~p<->r)
(p V s)]
F
F
F
F
V
V
V
V
F
F
V
V
F
F
V
V
F
V
F
V
F
V
F
V
V
V
V
V
F
F
F
F
F
F
V
V
V
V
F
F
F
V
F
V
V
V
V
V
F
V
V
V
V
V
V
V
~ (p
r ~r)
V
V
F
F
V
V
F
F
(p~r)
F
F
V
V
F
F
F
F
V
V
F
F
V
V
V
V
<-/-
p
q
Tabla de la verdad
p
~
p
F
F
F
F
V
V
V
V
F
F
V
V
F
F
V
V
F
V
F
V
F
V
F
V
V
V
V
V
F
F
F
F
(~pr ~
)
s
F
F
V
V
V
V
F
F
V
F
V
F
V
F
V
F
(p
~s)
[(~pr) (p
~s)]
~
r
(~p
~r)
~(~p~r)
V
F
V
F
V
V
V
V
V
F
F
F
F
F
V
V
V
V
F
F
V
V
F
F
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
F
F
F
F
F
F
V
V
a) (~pq) (pr)
p q r
1 F
F
2 F
3 F
4 V
5 V
6 V
7 V
F
F
V
V
F
F
V
V
F
V
F
V
F
V
F
V
~ (~p (p
r)
p
q)
V
V
V
V
F
F
F
F
F
F
V
V
V
V
V
V
F
V
F
V
V
V
V
V
(~pq)
(pr)
F
V
F
F
F
F
F
F
FNC=
(pVqVr)(pV~qVr)(pV~qV~r)(~pVqVr)(~pVqV~r)(~pV~qVr)(~
pV~qV~r)
FND = (~p ~q r)
b) [(~pr)(ps)] ~(pq)
p q r s
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
~ (~p (p [(~pr)(p
p
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
r)
V
V
V
V
V
V
V
V
V
V
F
F
V
V
F
F
s)
F
V
F
V
F
V
F
V
V
V
V
V
V
V
V
V
s)]
F
V
F
V
F
V
F
V
V
V
V
V
V
V
V
V
(p
q)
F
F
F
F
F
F
F
F
F
F
F
F
V
V
V
V
~(pq)
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
[(~pr)(ps)]
~(pq)
V
F
V
F
V
F
V
F
F
F
F
F
V
V
V
V
F
F
V
V
F
F
V
V
F
V
F
V
F
V
F
V
~
p
V
V
V
V
F
F
F
F
(~p
r)
F
F
V
V
V
V
F
F
(p [(~pr)(p
(~p
~r
s)
s)]
~r)
V
F
V
V
F
V
V
V
V
V
F
F
F
F
F
F
F
F
V
F
F
F
V
F
F
V
F
V
F
V
F
V
[(~pr)(p s)]
(~p~r)
V
F
V
V
V
V
F
F
FNC= (pVrV~s)(~pV~rVs)(~pV~rV~s)
FND = (~p^~q^~r)(~p^q^~r)(~p^q^r)(p^~q^~r)(p^~q^r)
4.
5. Dadas las respectivas premisas, establezca la inferencia lgica apropiada mediante el uso
de las reglas de inferencia:
a.) p ~r Premisa 1
rq
p
b.) p ~ (q v s) Premisa 1
Premisa 2
Premisa 3
Premisa 2
t (q v s)
Premisa 3
rt
Premisa 4
c.) (p v q) Premisa 1
~r
Premisa 2
q r Premisa 3
a) p~r
p
~r
b) p ~ (q v s)
p
~( q v s)
c) p~r
^~r
P
6. Escriba los siguientes polinomios lgicos en su equivalente Booleano:
a) [(p^q) (p~r)]~(~p^~r)
[(AB) (AC)](A C)
b) [(AB)(A+C)] (A+B)
a. [A(1+BC)+AB](A+B+C)
A[B(A+C)](A+B+C)
AB(A+C)[(A+C)+B]
(A+C)(AB+B)
(A+CB)
b. (A+B)(A+C)(B+C)