Mapa Mental de Lgica Viso

Geral
Mapa Mental de Lgica Viso Geral

Lgica de Primeira Ordem:

Sentenas, Proposies,
Conectivos Lgicos,
Princpios Fundamentais e
Tabelas-Verdade
A lgica formal no se ocupa com os contedos pensados ou com
os objetos referidos pelo pensamento, mas apenas com a forma
pura e geral dos pensamentos, expressa pela linguagem.

Sentenas
As caractersticas bsicas das sentenas so:

um pensamento completo;
Composta por um sujeito (algo que se declara) e por um
predicado (aquilo que se declara sobre o sujeito).

Tipos de Sentenas
Afirmativas
Joo foi comprar po.

Negativas
Maria no gosta de queijo.

Imperativas
Estude muito.

Exclamativas
Como voc est linda!

Interrogativas
Onde voc vai?
Sentenas Abertas
So sentenas nas quais no podemos determinar o sujeito. Uma
forma simples de identific-las o fato de que no podem ser
nem Verdadeiras ou Falsas.

Aquele atirador errou todos os alvos.

X + Y + Z = 32.
Ele caiu.

Sentenas Fechadas
J neste tipo de sentena, conseguimos determinar o sujeito e
valor-la com Verdadeiro ou Falso.

Proposies
So as sentenas afirmativas ou negativas formada por palavras
ou smbolos que expressam um pensamento de sentido completo,
podendo atribuir um valor lgico, uma valorao, ou seja,
Verdadeiro ou Falso.

O cu azul.
Amanh vai chover.
Joo foi comprar po.

Conectivos Lgicos
Conectivos lgicos so palavras usadas para conectar as
proposies formando novas sentenas.

Os principais conectivos lgicos so:

 Conectivos Lgicos

Princpios Fundamentais da
Lgica Proposicional
O princpio de Identidade Afirma que se qualquer
enunciado verdadeiro, ento ele verdadeiro.
O princpio da No Contradio Afirma que nenhum
enunciado pode ser verdadeiro e falso.
O princpio do Terceiro Excludo Afirma que um
enunciado ou verdadeiro ou falso.

Tabelas-Verdade
 Tabelas-Verdade

Disjuno Exclusiva

Mapa Mental de Raciocnio

Lgico Anlise Combinatria
Mapa Mental de Raciocnio Lgico Anlise Combinatria
Mapa Mental de Raciocnio Lgico - Anlise Combinatria