Elaborado por: Ing.

Javier Daza
10 de octubre de 2016 Email: jdazap@libertadores.edu.co

NOMBRE: __Pablo Danilo Moreno Corredor________________________ Nota

I. Desarrollar las siguientes proposiciones

1. ¬ (p ˅ q) = ¬ p ˄ ¬ q
p q ¬ (p ˅ q) ¬p ˄¬q
VV ¬ (v v v=v)= f ¬ v ˄ ¬ v=f
VF ¬ (v v f=v)= f ¬ v ˄ ¬ f=f
FV ¬ (f v v=v)= f ¬ f ˄ ¬ v=f
FF ¬ (f v f=f) = v ¬ f ˄ ¬ f=v

2. ¬ p ¬q=p˅¬q
p q ¬p ¬q p˅¬q
VV v v v ¬v= v
VF v V v ¬f= v
FV f F v ¬v= f
FF v F v ¬f= v

3. p ˅ V = v
p q p˅V V
VV V v v= v V
 Elaborado por: Ing. Javier Daza
10 de octubre de 2016 Email: jdazap@libertadores.edu.co
VF V v v= v V
FV F v v= v V
FF F v v= v V

4. ¬ [q ˅ (p ˄ q) ] =¬ q
p q
¬ [q ˅ (p ˄ q) ] ¬q
VV
¬ [ v v v= v]= f F
VF
¬ [f v f = f]= v V
FV
¬[v v f= v]= f F
FF
¬[f v f =f]= v V

5. [¬ q ˄ (p ˅ q) ] = ¬ q ˄ p

p q
[¬ q ˄ (p ˅ q) ] ¬q˄p
VV
F ˄ v= f F ˄ v= f
 Elaborado por: Ing. Javier Daza
10 de octubre de 2016 Email: jdazap@libertadores.edu.co
VF
V˄V=v V˄V=v
FV
F ˄ V= f F ˄ F= f
FF
V ˄ F= f V ˄ F= f

6. ¬ (p ˄ F) =v
p q V
¬ (p ˄ F)
VV ¬ ( v ˄ f = f)= v V
VF ¬( v ˄ f = f)= v V
FV ¬ ( f ˄ f = f)= v V
FF ¬ ( f ˄ f = f)= v V

7. Resolver y encontrar el valor de verdad si existe de la siguiente expresión:

{¬ [ ¬ (p ˅ q) ] ¬ [ ( ¬ q ˅ q) ] }= a) V b) F c) ?

V ˅ ¬ [ (¬ q ˅ q) ] }= V
 Elaborado por: Ing. Javier Daza
10 de octubre de 2016 Email: jdazap@libertadores.edu.co

8. Utilizando lógica informal y formal – Simbolizar la siguiente proposición:

No me gusta trasnochar ni madrugar ni trabajar, pero si pasarla bien: ¬ (p ˄ q
˄ r) ˄ s

9. Utilizando lógica informal y formal – Simbolizar la siguiente proposición:

Si p, entonces q, y si q, entonces p, si y solo si r: [(p q) ˄ (q p)] ↔ r

10. Utilizando lógica informal y formal – Simbolizar la siguiente proposición:

Si los elefantes volaran o supieran tocar el acordeón, pensaría que estoy
como una regadera y dejaría que me internaran en un hospital psiquiátrico.
(P ˅ q) (r ˄ s)