Mg.

VILMA AYRE BALBÍN

INFERENCIA LÓGICA
I. Resuelve los siguientes ejercicios, aplicando el método abreviado.
1) p1 : p → q
p2: ~q → ~r
p↔r

2) p1 : q → 𝑝
p2: q → (r v s)
p3: ~(~q v ~s)
r → (s → p)

3) p1 : q ↔ ~𝑝 v r
p2: r v s
p3: ~𝑝 ↔ r
qvr

4) p1 : p ↔ ~𝑞
p2: ~𝑝 ∆ s
p3: r → s
p → (r ˄ ~𝑞)