Provas por Indução: Regras Generalizadas de De Morgan e Distribuição RESUMOEsta aula aborda o tema das provas por indução em matemática e lógica proposicional. São explicados os dois tipos de provas existentes: as provas internas ou dedutivas, que se baseiam nas regras da lógica, e as provas externas ou metamatemáticas,...
Indução sobre a Complexidade das Fórmulas RESUMONesta aula você aprenderá sobre uma variante da indução matemática, conhecida como "indução sobre a complexidade das expressões", que é muito útil para demonstrar propriedades na lógica proposicional. Através de um exemplo simples, o teorema de substituição, você verá como essa técnica é aplicada...
Formas Normais e suas Propriedades RESUMOA lógica proposicional é uma ferramenta fundamental na matemática e na informática. Nesta aula, será apresentado um resultado interessante e útil relacionado às formas normais. Para isso, serão definidos os conceitos de literal, forma normal conjuntiva (FNC) e forma normal disjuntiva (FND). Além disso, será...
Algoritmo de Forma Normal e Aplicações RESUMONesta aula, revisaremos o algoritmo FND/FNC, que nos permitirá encontrar, a partir de qualquer expressão na lógica proposicional, sua expressão equivalente em forma normal conjuntiva ou disjuntiva. Começaremos explicando os três passos que compõem esse algoritmo, que consistem na eliminação de implicações e duplas...
