Salustiano Fernández Viejo

Ejercicios del Cálculo de la Deducción Natural

q→r (p ∧ q) → r
t→¬r p
q
q→r
¬t

p→q
q∧r r∨s
¬t→¬r s→¬q
t ¬r
¬p
s→r
s∨t r→s
¬r p∨q
t ¬ ( ¬ p → s)
q∧¬r
r↔t
¬t
r∨s p → ( q → r)
q
s
p→r

¬ ( ¬ t ∨ ¬ q)
¬s→¬q p ↔ ( q ∨ r)
p→s
t∧s q
s
p→r
r→q
(p ∧ q) → r
p
¬ (p ∨ r) → s
q∨s p→q
¬s→r
s∨t
s→p
t→¬q p↔q
q q∨s
p→¬t
p t
s
p∧¬t
s→t
s∨q p → (q → r)
(q ∧ p) → r q → (p → r)
r

37 Filosofía – 1º Bachillerato
 Salustiano Fernández Viejo

(q ∨ ¬ s) → t p→¬r
¬q→r q∨p
p→¬s r
t→s q
p→r

¬q∨r
p ↔ (q ∧ t ∧ u) s→¬r
¬p ¬s→p
r↔¬q
¬p→¬q
¬r→t
¬u→r
r∨s p→r
q→s
¬ (r ∧ s)
p→q
¬p∨¬q
q→r
s→t
s∨p [p → (q ∧ r)] ∨ s
r∨t (p ∧ s) → r
p→r
r→s
¬p∨¬q p→q
¬ (p → s) r→¬q
¬q∧¬r r→¬p

(p → q) ∧ r p→¬q
s→t ¬p→¬r
r→s s→q
q∨t s→¬r

q→p p∨q
¬q→r p → (p ∧ s)
¬r q→s
p s

¬ ( ¬ p ∧ ¬ s) p ↔ (q ∨ r)
p→r p→s
¬q→p q
¬r
s
(p ∨ s) ∧ q

38 Filosofía – 1º Bachillerato
 Salustiano Fernández Viejo

( p ∧ q) → r ¬p→p
¬ (p ∨ r) → s p
p→q
¬s→r
(p ∨ q) → (r ∧ s)
¬ ( ¬ p ∨ ¬ r)
p→q ¬ t → ¬ (p ∧ s)
r→p t
¬r→¬t
¬ ( s ∧ ¬ r)
t∨s
q∨u

¬p↔q ¬q→¬p
¬ ( ¬ q ∨ r) p∨r
p∨s r→q
s∨t q∨t

p→q r → (t ∨ p)
r∨¬p ¬t∨s
¬s→¬p
p → (q ∧ r)
r → (s ∨ a)

(p ∧ q) → r
r→s p∨t
q∧¬s ¬t→¬q
(r ∧ s) → (q ∨ ¬ p)
¬p
(r ∧ s) → t

(p ∧ q) → (r ∨ s)
¬ (t ∧ ¬ p) p→q
t s∨p
t↔q ¬q∧r
(s ∧ r) → t
¬r→s
t

p∨q
r→¬p [p → (q ∧ r)] ∨ s
s→r (p ∧ s) → r
¬t→s
p→r
r↔¬q
t

39 Filosofía – 1º Bachillerato