Aluno: Gabriel Silva Taveira

Matrícula: 201800085
Ciências da Computação

Exercícios de Dedução

1) i) p ˄ ~q, p→ ~r, q ˅ ~s ├ ~(r ˅ s)

1.p ^ ~q (p1)
2.p → ~r (p2)
3.q ˅ ~s (p3)
4.p 1: SIMP
5.~r 2, 4: MP
6.~s 1, 3: SD
7.~r ^ ~s 5, 7: CONJ
8. ~(r˅s) 7: De Morgan

Usando regras de inferência, foi mostrado que o argumento é válido.

1) k) r → ~p, (r ˄ s) ˅ t, t → q ˅ u, ~q ˄ ~u ├ ~p
1.r → ~p (p1)
2.(r ˄ s) ˅ t (p2)
3.t → q ˅ u (p3)
4.~q ˄ ~u (p4)
5.~u 4: SIMP
6.t → q 3, 5: SD
7.~q 4: SIMP
8.~t 6, 7: MT
9.r ^ s 2, 8: SD
10.r 9: SIMP
11.~p 1, 10: MP

Através de regras inferência, conclui-se que argumento é válido.

1) m) x > y → x > z, z ≯6 →~(x > y → z < 7), x > z → z

<7├z>6˅z<y
1.x > y → x > z (p1)
2.z ≯6 →~(x > y → z < 7) (p2)

Instituto de Informática
Aluno: Gabriel Silva Taveira
Matrícula: 201800085
Ciências da Computação

3.x > z → z < 7 (p3)

4.x > y → z < 7 1, 3: SH
5.z>6 2,4: MT
6.z > 6 ˅ z < y 5: AD

2) b) p ˅ s → q, q → ~r, t → p, t ˄ r
1.p ˅ s → q (p1)
2.q → ~r (p2)
3.q → ~r (p3)
4.t ˄ r (p4)
5.t 4: SIMP
6.p 3, 5: MP
7.p ˅ s 6: AD
8.q 1, 7: MP
9.~r 2, 8: MP
10.r 4: SIMP
11.~r ˄ r 9, 10: CONJ

2) c) x = y → x < 4, x ≮4 ˅ x <z, ~(x < z ˅ x ≠ y)

1.x = y → x < 4 (p1)
2.x ≮4 ˅ x <z (p2)
3.~(x < z ˅ x ≠ y) (p3)
4.x ≮ z ˄ x = y 3: De Morgan
5.x ≮ z 4: SIMP
6.x ≮4 2, 5: SD
7.x ≠ y 1, 6: MT
8.x = y 4: SIMP
9.x ≠ y ˄ x = y 7, 8: CONJ

Instituto de Informática