Lógica proposicional

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.