[SIN 132] Regras de Inferência

SIN 132 - Matemática Discreta
Aula sobre Regras de Inferência

Tópicos da aula:

00:00 Regras de Inferência - Introdução
08:00 Porque usar Regras de Inferência
14:55 Tabela das Regras de Inferência
17:10 Exemplos de aplicação de Regras de Inferência
32:28 Resolução
41:57 Falácias
44:44 Regras de Inferência para Sentenças Quantificadas
1:03:07 Regras de inferência para Proposições e Quantificadores