LOGICA Y CONJUNTOS

Negaci n Conjunci n Disyunci n

p q p q p q p q
ó ó ó

∧ ∨

p p ∼ V V V V V V
V F VF F VF V
F V FV F FV V
FF F FF F
Implicaci n Doble implicaci n
p q p q p q p q
ó ó

⇒ ⟺

V V V V V V
VF F VF F
FV V FV F
FF V FF V
PROPIEDADES
p q q p
∧ ≡ ∧ conmutatividad
p q q p
∨ ≡ ∨

p q∧ ∧ r p q r p q r asociatividad
≡ ( ∧ )∧ ≡ ∧( ∧ )

p q∨ ∨ r p q r p q r
≡ ( ∨ )∨ ≡ ∨( ∨ )

p ∨ p p
≡ leyes de Morgan
p ∧ p p
≡ p q
∼ ( ∧ p q
) ≡ ( ∼ p q p p
)∨( ∼ ) ( ∧ )∨ ≡

p q
∼ ( ∨ p q
) ≡ ( ∼ p q p p
)∧( ∼ ) ( ∨ )∧ ≡

p ∧ ∼ p F
≡

p ∨ p V
≡ Asociatividad p q p q → ≡ ∨
 p ∨ ∼ p V
≡ Asociatividad p q
→ ≡∼ p q
∨

p q r p q r p q r
∧ ∧ ≡ ( ∧ )∧ ≡ ∧( ∧ )

V ∨ p V p q r p q r p q r
≡ ∨ ∨ ≡ ( ∨ )∨ ≡ ∨( ∨ )

F ∨ p p
≡

V ∧ p p
≡

F ∧ p F
≡

1. Si las variables proposicionales toman los siguientes valores:

p V q F r V ≡ s V
, ≡ , ≡ , ≡

Hallar el valor de verdad de las siguientes proposiciones

a) p q s r
∼ → ∨( ∧ ∼ )

V F V V ∼ → ∨( ∧ ∼ )

F F V F
→ ∨( ∧ )

( V F )∨( )

V
b) ( p ∨ ∼ q
)→ r →( ∼ s ∧ ∼ q
)

p V
≡ , q F r V
≡ , ≡ , s V ≡

V ( ∨ ∼ F V )→V →( ∼ ∧ ∼ F)

( V V ∨ )→ V F V
→( ∧ )
 ( V )→ V F →( )

( V F )→[ ]

F
c) p r ∧ → ∼ q ∨ s r ∨ ∼ → ∼ p
p V q
≡ , ≡ F , r V s V
≡ , ≡

V V ∧ → ∼ F ∨ V V V
∨ ∼ → ∼

V V ∧ → V ∨ V V F
∨ ∼ →

V ( ∧[ V ]) ∨ ( V F∨ ∼ [ ])

( V V
∧[ ]) ∨ ( V V ∨ )

V
( )∨( V )

V
d) ∼ ∼ p → ∼ q → ∼ s q r p
→{ ∨ ∨ }

p V q F r V
≡ , ≡ , ≡ , s V
≡

∼ ∼ V → ∼ F → ∼ V F V V
→{ ∨ ∨ }

∼ F V → → F V →{ }
 V V ∼ [ ]→[ ]

V ∼ ( )

F
e) ∼ s r
→ → ∼ q ∨ ∼ p p q r s ∼ →[ ∧ ∧ ∧ ]

p V q F r V
≡ , ≡ , ≡ , s V ≡

∼ V V F → V→ ∼ ∨ ∼ ∼ →[ V F V V
∧ ∧ ∧ ]

V V V
∼ → F V → ∨ ∼ →[ ∧F V V ∧ ∧ ]

V V F ∼ →[ ] ∨ ∼ →[ F ]

V V ∼ ( )∨ ∼ ( )

F F ∨

F
f) ( r p
∨ )∧ ∼ q s p r q
→ →( ∨[ ∧ ∼ ])

p V q F r V
≡ , ≡ , ≡ , s V ≡

V V ( F V V
∨ )∧ ∼ → →( ∨[ V F∧ ∼ ])

V V V V V ( ∨ )∧ → →( ∨[ V V∧ ])
 [ V V ∧( )] → ( V V
∨[ ])

V [ ]→( V
)

V
Negaci n Conjunci n Disyunci n
p q p q p q p q
ó ó ó

∧ ∨

p p ∼ V V V V V V
V F VF F VF V
F V FV F FV V
FF F FF F
Implicaci n Doble implicaci n
p q p q p q p q
ó ó

⇒ ⟺

V V V V V V
VF F VF F
FV V FV F
FF V FF V
g) ∼ p → ∼ ( ∼ s q
∨ ∼ ) r
∨ ∼

p V q F r V
≡ , ≡ s V , ≡ , ≡

V∼ V F
→ ∼ ( ∼ V ∨ ∼ ) ∨ ∼

F F V F
→ ∼ ( ∨ ) ∨
 F V F
→ ∼ ( ) ∨

F F F
→ ∨

V F
[ ]∨

V
g) ∼ s → ∼ ( r q
∨ ) → ∼p
p V
≡ , q F r V
≡ , s V ≡ , ≡

∼ V→ ∼ (V F ∨V ) → ∼

F V F
→ ∼ ( ) →

F F F
→ →

V F
[ ]→

F
p : proposicion atomica o singular
s ∼ r q
→ ∼ ( p : proposicion molecular o compuesta
∨ ) → ∼

Hallar los valores de verdad para

a) p → ( p ∨ ∼ p )
 p p p →p ( ∨ ∼ )

V V V V V F
FF V F V V
* *** *

b) ∼ q p q
→( ∨ )

p q ∼ q → p
( ∨ q )

V V F V V V V
V F V V V V F
F V F V F V V
F F V F F F F
* *** *

PROPIEDADES
p q q p
p q q p
∨ ≡ ∨

∧ ≡ ∧

p q r p q r p q r
p q r p q r p q r
∨ ∨ ≡ ( ∨ )∨ ≡ ∨( ∨ )

∧ ∧ ≡ ( ∧ )∧ ≡ ∧( ∧ )

p p
p V V
∼ ( ∼ ) ≡

p F F
∨ ≡

∧ ≡

p V p
p F p
∧ ≡

∨ ≡

p p V ∨ ∼ ≡
 p p F ∧ ∼ ≡

leyes de morgan
p q p q
p q p q
∼ ( ∨ ) ≡∼ ∧ ∼

∼ ( ∧ ) ≡∼ ∨ ∼

p q
→ ≡ ∼ p q
∨ ≡ p q ∼ ( ∧ ∼ ) ≡ ∼ q → ∼ p
Probaremos que
p q → ≡ ∼ q → ∼ p
Solucion
p q p q
p q
→ ≡∼ ∨

q p
≡∼ ∨

q p
≡ ∨ ∼

q p
≡∼ ( ∼ )∨ ∼

≡∼ → ∼

Probaremos que
∼ p q
∨ ≡ ∼ ( p ∧ ∼ q )

Solución por leyes de morgan ∼ ( p q

∧ ) ≡∼ p ∨ ∼ q
p q p q
p q
∼ ∨ ≡∼ ∨

Morgan
≡∼ ∨ ∼ ( ∼ )

≡∼ ( p q ∧ ∼ )