AULA 3

26 Setembro 2017, 10:30 • Fernando Ferreira

Letras proposicionais. Os conetivos Booleanos da negação, da conjunção e da disjunção. Tabelas de verdade. Lei da dupla negação, leis comutativas, leis associativas, leis distributivas, leis da idempotência, leis da absorção, leis de De Morgan. Breve discussão sobre parênteses. Equivalências lógicas e equivalências tautológicas (tt-equivalências).