Lógica Proposicional – ESTRUCTURAS DISCRETAS -UPDS

PRACTICA 1 – LOGICA PROPOSICIONAL

1) Confeccione la tabla de verdad de las siguientes proposiciones compuestas y determine si se

trata de una Tautología, una Contradicción o una Contingencia.

a) (𝑝 ⇒ 𝑞) ∧ (𝑞 ⇔ ⌐𝑝) d)𝑝 ⇒ ⌐(𝑞 ⊻ ⌐𝑝) g)(𝑝 ∨ 𝑞) ⇔ (⌐𝑝 ∧ ⌐𝑞) j)⌐(𝑝 ∨ 𝑞) ⇔ (𝑝 ∧ ⌐𝑞)

b)(𝑝 ∧ ⌐𝑞) ∨ (⌐𝑝 ⇔ 𝑞) e) 𝑝 ⊻ (⌐𝑞 ⇒ 𝑝) h)(𝑝 ⇒ 𝑞) ⇔ (⌐𝑞 ∧ 𝑝) k) ⌐(𝑝 ⇒ ⌐𝑞) ⊻ 𝑝

2) Para describir los diversos restaurantes de la ciudad, denotemos con p “la comida es buena” ;
con q “el servicio es bueno” y con r “es de tres estrellas”. Escribir simbólicamente las siguientes
proposiciones:
a) La comida es buena o el servicio es bueno, o ambas cosas
b) La comida es buena o el servicio es bueno, pero no ambas cosas.
c) La comida es buena y el servicio no.
d) No sucede que tanto la comida sea buena como que el restaurante sea de tres estrellas
e) Si tanto la comida como el servicio son buenos, entonces el restaurante es de tres estrellas
f) No es cierto que ser de tres estrellas siempre signifique buena comida y buen servicio.

3) Simplifique las siguientes proposiciones compuestas (recuerde escribir a la derecha la ley que
utiliza a cada paso):

a) [(p⇒ p)  q]  [~q  (r  q)]  [p ⇒ (p  ~q)]

b) [~(p  q)  (~p  q)] ⇒ (~p  q)

c) [(p⇒ ~q) ⇒ ~p ] ⇒ q

d) [(p ˄ q) ⇒ ~r] v [p ⇒ (q⇒ ~r)]

e) ~{[(~p)  (~q)]  ~q ]}

f) [~p  q]  [~q  ~p]

g) ( p  ~p)  [p  (q ⊻ p)]

h) [~ (p ⇒ q) ⇒ ~ (q ⇒ p)]  (p  q)

i) [(p ⇒ q) ⇔ ~q]  ~q

j) [(~p  q) ⇔ (r  ~r)]  ~q

k) [(p⇒ p)  q]  [~q  (r  q)]  [p ⇒ (p  ~q)]

Ing. Alejandro Gonzales Amaya

Facultad de Ingenierías
 Lógica Proposicional – ESTRUCTURAS DISCRETAS -UPDS

l) [~(p  q)  (~p  q)] ⇒ (~p  q)

m) [( p ⇒ ~ q ) ⇒ ~p ] ⇒ q

n) [( p Λ q ) ⇒ ~r] v [ p ⇒ ( q ⇒ ~r)]

o) Simplificar el siguiente circuito lógico:

To T1

To T1

a) p  q b) p  q c) p  ~q d) ~p  ~q

Ing. Alejandro Gonzales Amaya

Facultad de Ingenierías