Como o nome sugere, lógica proposicional é um ramo da lógica matemática que estuda as relações lógicas entre proposições (ou declarações, sentenças, e afirmações) tomadas como um todo, e via conectivos lógicos. A lógica proposicional é também conhecida pelos nomes lógica sentencial, cálculo proposicional e cálculo sentencial. É importante em uma variedade de campos, […]