1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

• Da premissa (p ∧ r), pela Regra da Simplificação (SIMP), inferimos p.

• Da premissa (p → q) e de p (resultado anterior), pela Regra Modus Ponens

(MP), inferimos q, que é a conclusão do argumento dado.

• Deste modo, a conclusão pode ser deduzida das duas premissas do argumento

dado por meio das Regras de Inferência, e por conseguinte o argumento dado

é válido.

22

23

24

• Livro Texto:

FILHO, Edgar de Alencar. Iniciação à Lógica Matemática. São Paulo:

Nobel, 2000.

25

26

27