Lógica de Primeira Ordem: Sentenças, Proposições, Conectivos

Lógica de Primeira Ordem:
Sentenças,
Proposições,
Conectivos
Lógicos,
Princípios Fundamentais e
Tabelas-Verdade
A lógica formal não se ocupa com os conteúdos pensados ou com
os objetos referidos pelo pensamento, mas apenas com a forma
pura e geral dos pensamentos, expressa pela linguagem.
Sentenças
As características básicas das sentenças são:
um pensamento completo;
Composta por um sujeito (algo que se declara) e por um
predicado (aquilo que se declara sobre o sujeito).
Tipos de Sentenças
Afirmativas
João foi comprar pão.
Negativas
Maria não gosta de queijo.
Imperativas
Estude muito.
Exclamativas
Como você está linda!
Interrogativas
Onde você vai?
Sentenças Abertas
São sentenças nas quais não podemos determinar o sujeito. Uma
forma simples de identificá-las é o fato de que não podem ser
nem Verdadeiras ou Falsas.
Aquele atirador errou todos os alvos.
X + Y + Z = 32.
Ele caiu.
Sentenças Fechadas
Já neste tipo de sentença, conseguimos determinar o sujeito e
valorá-la com Verdadeiro ou Falso.
Proposições
São as sentenças afirmativas ou negativas formada por palavras
ou símbolos que expressam um pensamento de sentido completo,
podendo atribuir um valor lógico, uma valoração, ou seja,
Verdadeiro ou Falso.
O céu é azul.
Amanhã vai chover.
João foi comprar pão.
Conectivos Lógicos
Conectivos lógicos são palavras usadas para conectar as
proposições formando novas sentenças.
Os principais conectivos lógicos são:
Conectivos Lógicos
Princípios Fundamentais
Lógica Proposicional
da
O princípio de Identidade – Afirma que se qualquer
enunciado é verdadeiro, então ele é verdadeiro.
O princípio da Não Contradição – Afirma que nenhum
enunciado pode ser verdadeiro e falso.
O princípio do Terceiro Excluído – Afirma que um
enunciado ou é verdadeiro ou é falso.
Tabelas-Verdade
Tabelas-Verdade
Disjunção Exclusiva