Lista de exerccios regras de inferncia Lgica

1. Deduzir os argumentos abaixo:

a) A C, C P, A P
b) P(Q^R), P P^R
c) P^Q Q^P
d) ~P(Q(R~T)), ~P , Q , R ~T
e) ~P ~~Q, ~~~~~P Q
f) P (P v (Q T) ) (P v (~R S))
g) T v Q, T U, Q U, U
h) F (S v D), S F
i) P Q, (P Q) (Q P) P Q
j) P Q QP
k) Q, Q R, QS R ^ S
l) P, ~ ~ (P Q) Q ~ Q
m) P, ~ ~ (P Q) (R S) Q
n) PPP
o) PPP
p) ~ P (Q R), ~ P, Q R
q) (P Q) (R S), ~ ~ P, Q S
r) P (P Q) (P R)
s) PvQ, PR, QS RvS
t) (PQ) (RS), ~Q v ~S ~Pv~R.
u) P Q P (P Q)
v) (P Q) R, (Q R) (P (S T)), P S T

2. Traduzir os argumentos abaixo para linguagem simblica e realizar derivaes

dos mesmos utilizando as regras de inferncia.

a) Se Ana vai a festa, ento Marcos vai a festa. Se Marcos vai a festa, ento
Pedro ir a festa. Ana vai a festa. Portanto, Pedro vai a festa ou Bianca vai a
festa.
b) Se Pedro vai a festa, ento Marcos vai a festa e Bianca vai a festa. Pedro vai
a festa. Portanto, Bianca vai a festa.
c) Joo vai a festa ou Marcos vai a festa. Se Joo vai a festa, ento Roberto vai
a festa. Se Marcos vai a festa, ento Roberto vai a festa. Portanto, Roberto
vai a festa.
d) Marcos vai a festa. Se Marcos vai a festa, ento Bianca vai a festa. Se
Marcos vai a festa, ento Sara vai a festa. Portanto, Bianca vai a festa e Sara
vai a festa.
(a) Adio (AD): (i) p p q (ii) p q p;
(b) Simplificao (SIMP): (i) p q p (ii) p q q;
(c) Conjuno (CONJ) : (i) p, q p q
(ii) p, q q p;
(d) Absoro (ABS) : p q p (p q);
(e) Modus ponens (MP) : p q , p q;
(f) Modus tollens (MT): p q , ~q ~p;
(g) Silogismo disjuntivo (SD)
(i) p q, ~p q (ii) p q, ~q p;
(h) Silogismo hipottico (SH)
p q, q r p r;
(i) Dilema construtivo (DC)
p q, r s, p r q s;
(j) Dilema destrutivo (DD)
p q, r s, ~q ~s ~p ~r;
(l) Biconcional para condicional (BC)
pq => pq ou qp
(m) Condiconal para bicondicional (CB)
pq=> pq ou qp
(n) Dupla negao (DN)
p=> p ou p=> p
(a) Adio (AD): (i) p p q (ii) p q p;
(b) Simplificao (SIMP): (i) p q p (ii) p q q;
(c) Conjuno (CONJ) : (i) p, q p q
(ii) p, q q p;
(d) Absoro (ABS) : p q p (p q);
(e) Modus ponens (MP) : p q , p q;
(f) Modus tollens (MT): p q , ~q ~p;
(g) Silogismo disjuntivo (SD)
(i) p q, ~p q (ii) p q, ~q p;
(h) Silogismo hipottico (SH)
p q, q r p r;
(i) Dilema construtivo (DC)
p q, r s, p r q s;
(j) Dilema destrutivo (DD)
p q, r s, ~q ~s ~p ~r;
(l) Biconcional para condicional (BC)
pq => pq ou qp
(m) Condiconal para bicondicional (CB)
pq=> pq ou qp
(n) Dupla negao (DN)
p=> p ou p=> p
(a) Adio (AD): (i) p p q (ii) p q p;
(b) Simplificao (SIMP): (i) p q p (ii) p q q;
(c) Conjuno (CONJ) : (i) p, q p q
(ii) p, q q p;
(d) Absoro (ABS) : p q p (p q);
(e) Modus ponens (MP) : p q , p q;
(f) Modus tollens (MT): p q , ~q ~p;
(g) Silogismo disjuntivo (SD)
(i) p q, ~p q (ii) p q, ~q p;
(h) Silogismo hipottico (SH)
p q, q r p r;
(i) Dilema construtivo (DC)
p q, r s, p r q s;
(j) Dilema destrutivo (DD)
p q, r s, ~q ~s ~p ~r;
(l) Biconcional para condicional (BC)
pq => pq ou qp
(m) Condiconal para bicondicional (CB)
pq=> pq ou qp
(n) Dupla negao (DN)
p=> p ou p=> p
(a) Adio (AD): (i) p p q (ii) p q p;
(b) Simplificao (SIMP): (i) p q p (ii) p q q;
(c) Conjuno (CONJ) : (i) p, q p q
(ii) p, q q p;
(d) Absoro (ABS) : p q p (p q);
(e) Modus ponens (MP) : p q , p q;
(f) Modus tollens (MT): p q , ~q ~p;
(g) Silogismo disjuntivo (SD)
(i) p q, ~p q (ii) p q, ~q p;
(h) Silogismo hipottico (SH)
p q, q r p r;
(i) Dilema construtivo (DC)
p q, r s, p r q s;
(j) Dilema destrutivo (DD)
p q, r s, ~q ~s ~p ~r;
(l) Biconcional para condicional (BC)
pq => pq ou qp
(m) Condiconal para bicondicional (CB)
pq=> pq ou qp
(n) Dupla negao (DN)
p=> p ou p=> p