Deber 1
Deber 1
a) 35 – 17 = 18 (……) b) 2 + 5 3 (………)
c) ¿Estudias Matemática? (……) c) 9 es número primo (………)
e) ¡Eres grande Ecuador! (……) f) 27 - x = 40 (………)
p: Hoy es feriado
q: Mañana es día laborable
r: Voy a clase
Formaliza la proposición: “No es verdad que, Hoy sea feriado y que no asista a
clase. Por lo tanto voy a clase.
a) d) g) j)
( p q ) ( q p ) p ( q p) ( p q ) ( p q ) ( p q ) ( p q )
b) e) h) k) ( p q) p
( p q) ( p q) p ( q p) ( p q ) ( q p )
c) f) i) l) ( p q ) q
( p q) ( p q) ( p q) q [ p (q p )] q
a) [(p q) → q] p d) ~ (p q) p
b) (p → q) p e) [ (p → ~ q) p] → ~ q
c) p → (p q) f) ~ p ~ (p q)
~ (p q) (~p ~q)
(p q) [ p (p q) ]
a) p(p→q) c) p ( p → q )
b) (pq)→p d) (p q ) ↔ [ p ( p→ q ) ]
a) (p q) → (~ p r) c) p q → r e) (p ↔~ q) → r
b) ~r [p → ( r q ) ] d) )[(p q) → (q Λ r )] ↔ ~p f) (~ p q) →(~ r
q)
d .1( p r ) q d .3( p q ) r
d .2 ( p q ) r d .4 ( r p ) ( q p )
14.- Simplifica los siguientes esquemas moleculares aplicando las leyes del álgebra
proposicional:
a) ~ [~ (p ~ q)] → ~ p
b) [(p → q) ~ p] (~ q → p)
c) (~ p → q) ↔ (~q → p)
d) [(~p q) → ~ p] (~ q ↔ p)