lógica fundamentos ada matemática

PÓS-GRADUAÇÃO LATO SENSU

LÓGICA E FUNDAMENTOS DA
MATEMÁTICA

MÓDULO – 2

Editoração e revisão: Editora Prominas e organizadores

Coordenação Pedagógica
INSTITUTO PROMINAS

APOSTILA RECONHECIDA E AUTORIZADA NA FORMA DO CONVÊNIO FIRMADO
ENTRE UNIVERSIDADE CANDIDO MENDES E O INSTITUTO PROMINAS.

Impressão e Editoração

Sum´rio a 1 Introdu¸˜o ca 1

2 Estrutura¸˜o da L´gica ca o

3

3 Proposi¸oes e Conectivos c˜ 3.1 Operadores L´gicos . . . . . . . . . . . . . . . . o 3.1.1 Conjun¸˜o: “∧”: . . . . . . . . . . . . . ca 3.1.2 Disjun¸˜o: “∨”: . . . . . . . . . . . . . . ca 3.1.3 Disjun¸˜o Exclusiva: “ ”: . . . . . . . . ca 3.1.4 Condicional: “→”: . . . . . . . . . . . .
3.1.5 Bicondicional: “↔”: . . . . . . . . . . .
3.1.6 Nega¸˜es . . . . . . . . . . . . . . . . . . co 3.1.7 Nega¸˜o de conectivos “ ∧ ” e “ ∨ ” . . . ca 3.1.8 Nega¸˜o de Condicional e Bicondicional ca 3.1.9 Outras Nota¸˜es . . . . . . . . . . . . . co .
.
.
.
.
.
.
.
.
.

9
11
11
12
12
12
14
15
15
16
16

.
.
.
.
.
.

17
20
20
21
21
22
22

Equivalˆncia e . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Implica¸ao L´gica . . . . . . . . . . . . . . . . . . c˜ o
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .

25
25
25
27

4 Constru¸˜o de Tabelas-Verdade ca 4.1 Tautologia, Contradi¸ao e Contigˆncia c˜ e
4.1.1 Tautologia . . . . . . . . . . . .
4.1.2 Contradi¸ao . . . . . . . . . . . c˜ 4.1.3 Contigˆncia . . . . . . . . . . . e 4.2 Exerc´ ıcios . . . . . . . . . . . . . . . .
4.3 Respostas . . . . . . . . . . . . . . . .
5 Rela¸˜es de Implica¸˜o e co ca
5.1 Implica¸ao L´gica . . . c˜ o
5.1.1 Propriedades da
5.2 Equivalˆncia . . . . . . e 1

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.
.
.