01 ( p ⟶ q)∨ ¿

De la falsedad de ), deducir el valor de verdad de:

a) ( p ∨ q) ∨ q
b) [( r ∨q) ∧q ]⟷[( q ∨ r )∧ s]
c) ( p ⟶ r) ⟶[( p ∨q) ∧ q ]

Re s u e l t o p o r: Ma r c o s A n t on i o Ma c h a c a Qu i s p e

SOLUCIÓN

( P ⟶ q ) ∨ ( r ⟶ s) ≡ F
VF
V FV F
FF
F
∴ p≡ V ;q≡ V ;r≡ F ;s ≡ F

a) ( p ∨ q)∨ q
VVV
FFF
FF
F

b) [( r ∨q)∧q ]⟷[( q ∨ r )∧ s]
FV
VVFF
VVFF
VF
F

c) ( p ⟶ r) ⟶[( p ∨q) ∧ q ]
F
V FV V V
F FV
FF
V
04 p ⋆ q=( p ⟶ q ) y p ⋕ q= p ∧ q
Si se sabe que: ,
evaluar el esquema.
molecular R=( p ⟶ q)⋕(q ⋆ r ) .

Re s u e l t o p o r: Ma r c o s A n t on i o Ma c h a c a Qu i s p e

SOLUCIÓN

R=( p ⟶ q)⋕(q ⋆ r )
R=( p ⟶ q) ⋕(q ⟶ r )
R= ( p ⟶ q ) ∧ ( q ⟶ r ) , ley de la condicional
R= ( p ∨ q ) ∧ ( q ∨ r ) , ley de Morgan
R=( p ∧ q ) ∧ ( q ∧ r ) , ley asociativa
R=( p ∧ r ) ∧ ( q ∧q ) , ley del complemento
R=( p ∧ r ) ∧ F ,ley de la identidad
R=F