Matemática discretas

Apuntes

Gabriel Coutinho DCC217 - Matemática Discreta - 2024.2 Notas de aula do curso de Matemática Discreta - UFMG. As notas abaixo foram originalmente escritas para a disciplina DCC111 em 2018.2, mas servem como referência para DCC217 em 2024.2. O texto não foi revisado minuciosamente e pode conter pequenos erros. Agradeço quem puder reportá-los para t@gabrielcoutinho.com. Autor: Gabriel Coutinho (DCC/UFMG) 22 de setembro de 2024 •SUMÁRIO 1 Lógica ........................................................................................................ 4 1.1 Introdução ao curso .............................................................................. 4 1.2 Proposições lógicas .............................................................................. 4 1.3 Tabela de verdade ............................................................................... 5 1.4 Equivalência lógica .............................................................................. 8 1.5 Conversa, contrapositiva, inversa e dupla-implicação .......................... 8 1.6 Aplicação ............................................................................................ 9 1.7 ...