LGICA
Pgina 1
TRABAJO ACADMICO
1.- OBTENER EL VALOR DE VERDAD DE LA SIGUIENTE PROPOSICIN:
r v ~ p. ( ser una)
SOLUCIN
p
~p
2.-
DEMOSTRAR
QUE
LA PROPOSICIN:
=>
b ( b= a )
SOLUCIN
p
LGICA
~q (p
~ q)
(q
p)
[ (p
~ q) (q
Pgina 2
p)] ~ [ (p
~ q) (q
p)]
(r
~p
(p q)
( r ~ p)
~ ( r ~ p)
(p q) ~ ( r ~ p)
Rpta:
LGICA
VERDADEROS
FALSOS
Pgina 3
= 5
= 3
4.-
UTILIZANDO
LEYES
LGICAS,
SIMPLIFICAR
LA
SIGUIENTE
PROPOSICIN COMPUESTA:
SEA s UNA PROPOSICIN QUE CORRESPONDE A LA SIGUIENTE
TABLA:
p
V
V
F
F
q
V
F
V
F
s
F
V
V
F
q q ] ^
DE
CONECTAR
CORRESPONDIENTE A
EN
PARALELO
Y A s
SOLUCIN
[(p q) ~ q] ^ ~ q
[(~p v q) ~ q] ^ [(~q (~p v q)]
[(p ^ ~ q) v ~ q] ^ [q v (~p v q)]
~ q ^ (~p v q)
~ q ^ (q v ~ p)
~q^ ~p
~p^ ~q
LGICA
Pgina 4
LOS
CIRCUITOS
Rpta: r = (p v q)]
LGICA
Pgina 5