1

2

3

4

5

6

7

8

• Nota: silogismo é o nome que se dá a um argumento que conta com duas

premissas e uma conclusão.

9

10

11

12

13

14

• Note que a condicional associada a um argumento é somente uma maneira

diferente de escrever o argumento.

15

16

17

18

19

• 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

22

• 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

• 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

• 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

• 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

• 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

• Livro Texto:

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

Nobel, 2000.

30

31

32