GABARITO

Exercícios da Relação de Implicação Lógica ()

Regras de Inferência
Adição disjuntiva (AD) ppq
Simplificação conjuntiva(SIM) p  q  p ou p  q  q
Modus Ponens(MP) (pq)pq
Modus Tollens(MT) ( p  q )  ~q  ~p
Silogismo Disjuntivo(SD) ( p  q )  ~q  p
Silogismo Hipotético(SH) (pq)(qr)pr
Dilema Construtivo(DC) (pq)(rs)(pr)qs
Dilema Destrutivo(DD) ( p  q )  ( r  s )  ( ~q  ~s )  ~p  ~r
Absorção(ABS) pqp(p q)

1. Utilizando tabelas-verdade, verifique se existem as relações de implicação lógica seguintes:

a) p  q  q  p (existe)
b) ~( p  q )  ~p  ~q (existe)
c) p  q  r  ~q  r  ~p (não existe)
d) ~p  ( ~q  p )  ~(p  ~q) (existe)

2. Use a regra Modus Ponens para deduzir a conclusão de cada um dos argumentos abaixo:
a) x = y  y = z, ( x = y  y = z)  x = z |— x=z
b) ( x, y  R  x . y  R ), ( x, y  R )|— x . y  R
c) x + 1 = 2, x + 1 = 2  x = 1 |— x = 1
d) ( x > y  y > z )  x > z, x > y  y > z |— x > z

3. Use a regra Modus Tolens para deduzir a conclusão de cada um dos argumentos abaixo:
a) x  0  x + y  y, x + y = y|— x = 0
b) x = z  x = 6, x  6 |— x  z
c) ( p  q )  ~( r  s), ~~( r  s ) |— ~( p  q )
d) x > 3  x > y, x  y |— x  3

4. Use a regra Silogismos Disjuntivo para deduzir a conclusão de cada um dos argumentos abaixo:
a) ( p  q )  ( q  s ), ~ ( p  q ) |— ( q  s )
b) s  ( r  t ), ~s |— ( r  t )
c) ~p  ~q, ~~q |— ~p
d) ( u  t  ~s)  ~p, ~( u  t  ~s ) |— ~p

5. Use a regra Silogismo Hipotético para deduzir a conclusão de cada um dos argumentos abaixo:
a) ( p  r  ~s ), ( r  ~s  t ) |— p  t
b) x = 3  x < y, x < y  x  z |— x = 3  x  z
c) s  t  r  q, r q  ~p |— s  t  ~p
d) x.y = 6  x.y + 5 = 11, x.y + 5 = 11  y = 2 |— x.y = 6  y = 2

lógica Aplicada - Prof. Tacla p g ( 1/4)

arq: 702984534.doc
6. Use a regra Dilema Construtivo para deduzir a conclusão q de cada um dos argumentos abaixo:
a) ( p  r), (~q  ~s ), p  ~q |— r  ~s
b) x = 5  x < y, x = 5  x > 3, x < y  z < 2 |— x > 3  z < 2
c) y = 0  x.y = 0, y >1  x.y > 3, y = 0  y > 1 |— x.y = 0  x.y > 3
d) x = 2  x2 = 4, x = 2  y = 3, y = 3  y2 = 9 |— x2 = 4  y2 = 9

7. Use a regra Dilema Destrutivo para deduzir a conclusão q de cada um dos argumentos abaixo:
a) p  q  r, q  r  s, ~r  ~( r  s)|— ~(p  q)  ~q
b) p  ~r  q, ~( ~r  q )  ~s, ~q  s |— ~p  ~~q
c) x < 3  x  y, x > 4  x < y, x = y  x  y |— x  3  x  4
d) y  9  y  18, x = 2  y = 9, x = 8  y = 18 |— x  2  x  8

8. Indique a regra de inferência que justifica a validade dos argumentos seguintes:

a) p  q |--- ( p  q )  ~r AD
b) p  q, q  ~r |--- p  ~r SH
c) ( q  r )  ~p, ~~p |--- ~( q  r ) MT
d) ( p  q )  ( ~p  r ), ~(~p  r ) |--- p  q SD
e) ( p  q  r )  (~~~p) |--- ( p  q  r ) SIM
f) ( p  q)  (r  s), p  q |--- r  s MP
g) ( r  s  ~q )  q, ( r  s  ~q) |--- q MP
h) ( q  r )  r, r  ~( p  s) |--- ( q  r )  ~( p  s) SH
i) 3 < 5 |--- 3 < 5  3 < 2 AD
j)  > 4   > 8 |---  > 4 SIM

9. Verifique a validade dos argumentos utilizando regras de inferência

a) r  p  q, r, ~p |— q
1. r  p  q
2. r
3. ~p
----------------------
4. p  q MP em 1 e 2
5. q SD em 3 e 4

b) p  q, ~q, p  r |— r
1. p  q
2. ~q
3. p  r
----------------------
4. ~p MT em 1 e 2
5. r SD em 3 e 4

c) p  q, p  r, ~r |— q  s
1. p  q
2. p  r
3. ~r
----------------------
4. ~p MT em 2 e 3
5. q SD em 4 e 1
6. q  s AD em 5

lógica Aplicada - Prof. Tacla p g ( 2/4)

arq: 702984534.doc
d) t, t  ~q, ~q  ~s |— ~s
1. t
2. t  ~q
3. ~q  ~s
----------------------
4. t  ~s SH em 2 e 3
5. ~s MP em 1 e 4

e) ~a  b, b  c, ~c |— a
1. ~a  b
2. b  c
3. ~c
----------------------
4. ~a  c SH em 1 e 2
5. ~~a MT 3 e 4
6. a Dupla negação em 5

f) r  t, s  q, t  q  ~p, r  s |— ~p
1. r  t
2. s  q
3. t  q  ~p
4. r  s
----------------------
5. t  q DC em 1, 2 e 4
6. ~p MP em 3 e 5

g) p  ( q  r ), p  q, p |— r
1. p  (q  r)
2. p  q
3. p
----------------------
4. q  r MP em 1 e 3
5. q MP em 2 e 3
6. r MP em 4 e 5

h) p  ~q, ~q  r, p  s, ~r |— s
1. p  ~q
2. ~q  r
3. p  s
4. ~r
----------------------
5. ~~q MT em 2 e 4
6. q dupla negação em 5
7. p SD em 6 e 1
8. s MP em 7 e 3

i) p  s, p  q, s  r  ~t, q  r |— ~t

lógica Aplicada - Prof. Tacla p g ( 3/4)

arq: 702984534.doc
 1. p  s
2. p  q
3. s  r  ~t
4. q  r
----------------------
5. p SIM em 2
6. q SIM em 2
7. s MP em 5 e 1
8. r MP em 6 e 4
9. s  r Conjunção em 7 e 8
10. ~t MP em 9 e 3

j) p  q, p  r  s |— p  s
1. p  q
2. p  r  s
----------------------
3. p SIM em 1
4. p  r AD em 3
5. s MP em 2 e 4
6. p  s CONJ em 3 e 5

k) s  q, t  ~q, ~t  r |— r  ~s
1. s  q
2. t  ~q
3. ~t  r
----------------------
4. q SIM em 1
5. ~t MT em 4 e 2
6. r MP em 5 e 3
7. r  s AD em 6

l) p  q  ( p  s  t ), p  r |— t  u
1. p  q  ( p  s  t )
2. p  r
----------------------
3. p SIM em 2
4. p  q AD em 3
5. p  s  t MP em 4 e 1
6. s  t MP em 3 e 5
7. t SIM em 6
8. t  u AD em 7

lógica Aplicada - Prof. Tacla p g ( 4/4)

arq: 702984534.doc