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"