Lógica

A Lógica busca validar argumentos por meios de preposições

Exemplos de preposições :

• p: Brasilia é a capital do Brasil.
• q: 1+1 = 2

Preposições compostas

Exemplos de preposição composta :

• p: 1+1 = 2 e 2+3 = 5.
• q: São Paula é um estado do brasil ou Brasilia.

Princípios Lógicos

I Princípio do terceiro excluído

• Uma preposição só pode ter dois valores lógicos possíveis, Verdadeiro ou Falso.

II Princípio da não contradição

• Uma proposição não pode ter mais de um valor logico ao mesmo tempo.

Conectivos

• ∧ = e : O céu é azul e a lua é um satélite natural.
• ∨ = ou : Carlos é presidente ou vereador.
• -> = se então : Se o céu é azul então a lua é um satélite da terra.
• <-> = se e somente se : O céu é azul se e somente se a lua é um satélite da terra.
• $¬$ = não : O céu não é azul.

Conectivos	Descrição
∧	Conjução : e
∨	Disjunção : ou
→	Condicional: se então
↔	Bicondicional se e somente se
¬	Negação: não

Tabela da Verdade

P
V
F

Tabela da Negação

¬P
F
V

Tabela da Conjunção

P	Q	P∧Q
V	V	V
V	F	F
F	V	F
F	F	F

Tabela da Disjunção

P	Q	P∨Q
V	V	V
V	F	V
F	V	V
F	F	F

Tabela da Condicional

P	Q	P→Q
V	V	V
V	F	F
F	V	V
F	F	V

Tabela da Bicondicional

P	Q	P↔Q
V	V	V
V	F	F
F	V	F
F	F	V

Bibliografia recomendada

Referencia: ALENCAR FILHO, Edgard de. Iniciação à Lógica Matemática. . Editora Nobel. 2002