Aula 2 Tabelas-verdade, proposições especiais e relações entre proposições
34 Caro(a) aluno(a), na Aula 1, iniciamos o cálculo proposicional apresentando as tabelas-verdade das operações básicas: negação, conjunção, disjunção, condicional e bicondicional. Agora, você já está apto a construir tabelas-verdade de proposições mais complexas, obtidas pela combinação de conectivos. Nesta aula, você terá também a oportunidade de identificar tautologias e contradições, proposições compostas especiais cujos valores lógicos não se alteram. Conhecerá, também, as relações de implicação lógica e de equivalência lógica que se estabelecem entre proposições e são essenciais na construção dos teoremas da matemática e de suas demonstrações. Bom trabalho!
Objetivos Construir tabelas-verdade de proposições compostas Identificar tautologias, contradições e contingências Conhecer as relações de implicação lógica e de equivalência lógica
Matemática Discreta
