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 Negativas Imperativas Exclamativas Interrogativas
Joo foi comprar po. Maria no gosta de queijo. Estude muito. Como voc est linda! 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 Proposies

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

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:

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

WWW.diegomacedo.com.br