Lógica proposicional

Lógica proposicional

Por
William é formado em filosofia pela Universidade Federal de Santa Maria (UFSM), tem especialização em docência e trabalha como professor de filosofia no ensino médio.
dezembro 14, 2020 - 1 min leitura

Como o nome sugere, a lógica proposicional é um ramo da lógica formal que estuda as relações lógicas entre proposições (ou declarações, sentenças, asserções) tomadas como um todo e conectadas por meio de conectivos lógicos.

Ela é útil em uma variedade de campos além da filosofia: estratégia em jogos, lógica de programação, computação etc.

Na filosofia é usada para avaliar se determinado argumento é válido ou não. Pense no argumento abaixo:

Se Mariana estudar muito, entrará na universidade.

Mariana entrou na universidade.

Portanto, Mariana estudou muito.

Ele é um bom argumento ou não?

Deixaremos a questão em aberto, mas alertando que não são poucas as pessoas que se enganam ao avaliá-lo.

Nos próximos artigos, vamos explorar uma série de conceitos de lógica proposicional e conhecer ferramentas que permitam avaliar se argumentos como esse são bons ou não.

Deixe uma resposta

O seu endereço de e-mail não será publicado. Campos obrigatórios são marcados com *

📺 Gostaria de conhecer nosso conteúdo em vídeo?

Acompanhe nosso canal no Youtube. Aprenda sobre conceitos filosóficos complexos através de vídeos breves, com explicações acessíveis, analogias e ilustrações.