SLIDE LOGICA LING PROG 1ANO

Elementos de Lógica Matemática
Uma Breve Iniciação
´
Glaucio
Terra
[e-mail]

´
Departamento de Matematica
IME - USP

´
´
Elementos de Logica
Matematica
– p. 1/2

Vamos aprender a falar aramaico?
∀ǫ > 0 ∃δ > 0 ∀x(0 < |x| < δ → |x2 | < ǫ)

´
´
Elementos de Logica
Matematica
– p. 2/2

Proposições
•

Uma proposição é uma afirmação passível de assumir valor lógico verdadeiro ou falso;

´
´
Elementos de Logica
Matematica
– p. 3/2

Proposições
•

Uma proposição é uma afirmação passível de assumir valor lógico verdadeiro ou falso;

•

Toda proposição é verdadeira ou falsa
(princípio do terceiro excluído);

´
´
Elementos de Logica
Matematica
– p. 3/2

Proposições
•

Uma proposição é uma afirmação passível de assumir valor lógico verdadeiro ou falso;

•

Toda proposição é verdadeira ou falsa
(princípio do terceiro excluído);

•

Uma proposição não pode ser verdadeira E falsa (princípio da não-contradição).

´
´
Elementos de Logica
Matematica
– p. 3/2

Exemplos de Proposições
•

2 > 1 (V);

´
´
Elementos de Logica
Matematica
– p. 4/2

Exemplos de Proposições
•

2 > 1 (V);

•

5 = 1 (F).

´
´
Elementos de Logica
Matematica
– p. 4/2

Conectivos Lógicos
Proposições podem ser conectadas através dos seguintes conectivos:

´
´
Elementos de Logica
Matematica
– p. 5/2

Conectivos Lógicos
Proposições podem ser conectadas através dos seguintes conectivos:
•

“¬” ou “!” (negação);

´
´
Elementos de Logica
Matematica
– p. 5/2

Conectivos Lógicos
Proposições podem ser conectadas através dos seguintes conectivos:
•

“¬” ou “!” (negação);

•

“∧” (conectivo “e”);

´
´
Elementos de Logica
Matematica
– p. 5/2

Conectivos Lógicos
Proposições podem ser conectadas através dos seguintes conectivos:
•

“¬” ou “!” (negação);

•

“∧” (conectivo “e”);

•

“∨” (conectivo “ou”);

´
´
Elementos de Logica
Matematica
– p. 5/2

Conectivos Lógicos
Proposições podem ser conectadas através dos seguintes conectivos:
•

“¬” ou “!” (negação);

•

“∧” (conectivo “e”);

•

“∨” (conectivo