RACIOCÍNIO LÓGICO:

1 Estruturas lógicas.

2 Lógica de argumentação: analogias, inferências, deduções e conclusões.

3 Lógica sentencial (ou proposicional).

Quando são formadas por proposições. Proposições são necessariamente

verdadeiras.

3.1 Proposições simples e compostas.

Proposições são simples quando não possuem conectivos.

Comece os exercícios pela proposição simples.

Proposições compostas podem ser:

Conjunção: Conectivo “e” - ^.

-para ser verdadeira as duas devem ser verdadeiras.

Disjunção: Conectivo “ou” - v.

-para ser falsa as duas devem ser falsas.

Condicional: Conectivo “Se... então...” - →.

-para ser falsa a primeira tem que ser verdadeira e a segunda ser falsa.

Bicondicional: Conectivo “Se e somente se...” - ↔.

-só é falsa se aparecer V F ou F V.

Disjunção Exclusiva: A disjunção exclusiva é verdadeira se, e somente se,

apenas um dos operandos for verdadeiro.

3.2 Tabelas-verdade.

Conjunção: Conectivo “e” - ^.

P Q P^Q
VV V
VF F
FV F
FF F

Disjunção: Conectivo “ou” - v.

P Q PᵛQ
VV V
VF V
FV V
FF F

Condicional: Conectivo “Se... então...” - →.

P Q P→Q
VV V
VF F
FV V
FF V

Bicondicional: Conectivo “Se e somente se...” - ↔.

P Q P↔Q
VV V
VF F
FV F
FF V

Disjunção Exclusiva: A disjunção exclusiva é verdadeira se, e somente se,

apenas um dos operandos for verdadeiro.
PQ P∨Q
VV F
VF V
FV V
FF F

Questões que podem ser feitas sobre tabela verdade.

OBS: Uma proposição composta que é sempre verdadeira chama-se
Tautologia.
Uma proposição que é sempre falsa chama-se Contradição.
Uma proposição composta que pode ser Verdadeira ou Falsa é
chamada de contingência.
3.3 Equivalências.
Equivalência entre duas proposições compostas é quando a suas tabelas
verdades são iguais.
Equivalência da Condicional:

P→Q
Só pode ser uma Contrapositiva, ou uma Disjunção.

Fórmula 1: Negação da Negação.

Quando se nega uma condicional se deve: Mantém a primeira, coloca (^E),
nega à segunda, ou seja, p→q negando p^~q.

Fórmula 2: Contrapositiva.
Nega as duas e inverte a ordem, ou seja, p→q fica ~q→~p. Mas isso não é
uma negativa e sim uma Contrapositiva.

3.4 Leis de De Morgan.

3.5 Diagramas lógicos.

4 Lógica de primeira ordem.

5 Princípios de contagem e probabilidade.

6 Operações com conjuntos.

7 Raciocínio lógico envolvendo problemas aritméticos, geométricos e

matriciais.