Inferência lógica e os sistemas de derivação

Nestes slides são apresentados conceitos sobre a inferência lógica e os sistemas de derivação. Define o conceito de argumento válido, e demonstra que a verificação da validade de argumentos pode ser feita por meio de tabelas-verdade e pelo uso de regras de inferência.

Retas tangentes, derivação em cadeia e derivadas de funções implícitas

Capítulo 2 do Livro Noções de "Cálculo Diferencial e Integral para Tecnólogos"

Técnicas dedutivas

Esta animação apresenta os conceitos de técnicas dedutivas a partir de um exemplo da derivação de uma conclusão lógica a partir de um conjunto de premissas. Alguns passos são exemplificados para se chegar ao objetivo. Dentre esses estão a aplicação da regra de Simplificação, da regra de Modus Tollens, da regra de Modus Penens e da regra de adição. Alguns conceitos também devem já ser entendidos como o a da dedução, da conclusão e do uso de axiomas. Aplicando todas essas regras em conjunto em determinadas etapas da resolução do problema encontra-se a solução por dedução a partir de premissas. Este material é indicado a alunos dos cursos de graduação em que se depararem com disciplinas que contém algum tipo de lógica matemática ou que necessitam da aplicação destas regras.

Funções e suas derivadas

Capítulo 1 do Livro Noções de "Cálculo Diferencial e Integral para Tecnólogos"

Funções trigonométricas e Regras de L'Hopital

Capítulo 6 do Livro Noções de "Cálculo Diferencial e Integral para Tecnólogos"

Desenhando gráficos de funções, através de limites e derivadas

Capítulo 4 do Livro Noções de "Cálculo Diferencial e Integral para Tecnólogos"

Noções de Cálculo Diferencial e Integral para Tecnólogos

Livro completo

Técnicas dedutivas

Esta animação apresenta o conceito de técnicas dedutivas a partir de um exemplo da derivação de uma conclusão lógica de um conjunto de premissas. Apresenta também as regras de inferências lógicas , os conhecimentos prévios sobre os problemas e as regras da simplificação na proporção 1.

Prova por resolução

O vídeo mostra um conceito da lógica proposicional que é a prova por resolução. A vantagem dessa aplicação é a simplicidade, pois emprega apenas uma regra de inferência. Para verificar se o argumento é válido, por exemplo, são necessário três passos: converter cada premissa para FNC e negar a conclusão, separar as cláusulas, e construir a árvore de derivação ou refutação.