Lógica Computacional by David Sousa

O que é lógica?

davidssousa1 — 2022-08-22 23:58:34 UTC

A lógica é uma área da filosofia que visa estudar a estrutura formal dos enunciados (proposições) e suas regras. Em suma, a lógica serve para se pensar corretamente, sendo assim, uma ferramenta do correto pensar.

Lógica tem sua origem na palavra grega logos, que significa razão, argumentação ou fala.

A lógica é baseada em vários conceitos fundamentais. Ela estuda argumentos, que são feitos de um conjunto de premissas junto com uma conclusão.

Definições

davidssousa1 — 2022-08-22 23:59:07 UTC

Proposição é uma sentença declarativa, podendo ser valorada como verdadeira ou falsa.

Premissa é uma afirmação verdadeira ou falsa que ajuda a formar o corpo de um argumento, que logicamente leva à uma conclusão verdadeira ou falsa.

Argumento é um conjunto de enunciados relacionados entre si.

Todos os homens são mortais.
Sócrates é homem.
Logo, Sócrates é mortal.

Este é um argumento formado por duas premissas e uma conclusão.

Silogismo é a estrutura básica do argumento ou raciocínio dedutivo. No silogismo, a primeira e a segunda proposições são as premissas e a terceira é a conclusão.

Falácia é o uso de um raciocínio falso ou inválido na construção de um argumento. Falácias são divididas em formal e informal. Uma falácia formal é uma falha na estrutura do argumento dedutivo, que resulta na invalidação do argumento, enquanto uma informal se origina em um erro de raciocínio em vez de uma forma lógica imprópria.

Inferência é um processo pelo qual através de determinados dados, chega-se à uma conclusão.

Fontes

davidssousa1 — 2022-08-22 23:59:32 UTC