Resumo

Nesta aula completamos o estudo básico da lógica proposicional e vimos como ela pode ser usada para formalizar e resolver problemas de raciocínio lógico presentes em diversas situações. Estudamos aqui os operadores lógicos que correspondem a construções que usamos regularmente em português, como o se-então ou implicação, e a equivalência entre fórmulas lógicas. A Álgebra booleana é muito útil à computação. Nas disciplinas de programação, quando você estiver desenvolvendo algoritmos, será fácil perceber como as expressões booleanas são importantes ao programador. De fato, é muito comum encontrar programas onde diversas expressões booleanas precisam ser avaliadas, influenciando o fluxo de execução e os resultados do programa.