A lógica proposicional estuda frases ou proposições que podem ser verdadeiras ou falsas, e as conexões lógicas entre elas através de operadores como "e", "ou", "não". Ela fornece um sistema formal para representar argumentos e raciocínios.Leia menos