AULA 4

30 Setembro 2016, 09:30 • Fernando Ferreira

Mais leis lógicas (equivalências lógicas): leis comutativas e de idempotência. A noção informal de equivalência lógica. O sinal metalinguístico de equivalência lógica. A noção formal de equivalência tautológica (ou tt-equivalência). O método das tabelas de verdade para verificar tt-equivalências. Exemplo. A noção informal de verdade lógica. A noção formal de tautologia. Lei do terceiro excluído. Princípio da não contradição. O método das tabelas de verdade para verificar tautologias. Exemplo.