AULA 3
25 Setembro 2018, 10:30 • Fernando Ferreira
Leis distributivas, de De Morgan, da idempotência e de absorção. Comentário sobre a colocação de parênteses. Tabelas de verdade. A noção técnica de tt-equivalência. A noção informal de equivalência lógica. A noção informal de verdade lógica. A noção técnica de tautologia. Exemplos de tautologias: lei do terceiro excluído, lei da não contradição e um exemplo ad hoc.