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.