Aula 2 – Tabelas-verdade, proposições especiais e relações entre proposições

Aula 2

Tabelas-verdade, proposições especiais e relações entre proposições

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