1.
1

2.
2

3.
3

4.
4

5.
5

6.
6

7.
7

8.
8

9.
• Nota: silogismo é o nome que se dá a um argumento que conta com duas
premissas e uma conclusão.
9

10.
10

11.
11

12.
12

13.
13

14.
14

15.
• Note que a condicional associada a um argumento é somente uma maneira
diferente de escrever o argumento.
15

16.
16

17.
17

18.
18

19.
19

20.
• Os argumentos válidos acima são fundamentais e básicos (de uso corrente) na
lógica matemática.
• A validade dos argumentos acima é consequência imediata das tabelas
verdades que aprendemos em Matemática Discreta I e do teorema anterior.
20

21.
21

22.
22

23.
• Os argumentos válidos acima são fundamentais e básicos (de uso corrente) na
lógica matemática.
• A validade dos argumentos acima é consequência imediata das tabelas
verdades que aprendemos em Matemática Discreta I e do teorema anterior.
23

24.
• Os argumentos válidos acima são fundamentais e básicos (de uso corrente) na
lógica matemática.
• A validade dos argumentos acima é consequência imediata das tabelas
verdades que aprendemos em Matemática Discreta I e do teorema anterior.
24

25.
• Os argumentos válidos acima são fundamentais e básicos (de uso corrente) na
lógica matemática.
• A validade dos argumentos acima é consequência imediata das tabelas
verdades que aprendemos em Matemática Discreta I e do teorema anterior.
25

26.
26

27.
• Os argumentos válidos acima são fundamentais e básicos (de uso corrente) na
lógica matemática.
• A validade dos argumentos acima é consequência imediata das tabelas
verdades que aprendemos em Matemática Discreta I e do teorema anterior.
27

28.
• Os argumentos válidos acima são fundamentais e básicos (de uso corrente) na
lógica matemática.
• A validade dos argumentos acima é consequência imediata das tabelas
verdades que aprendemos em Matemática Discreta I e do teorema anterior.
28

29.
29

30.
• Livro Texto:
 FILHO, Edgar de Alencar. Iniciação à Lógica Matemática. São Paulo:
Nobel, 2000.
30

31.
31

32.
32