SINOPSE
Com uma abordagem rigorosa e clara, o conteúdo é apresentado em um único volume, facilitando o entendimento das técnicas dedutivas do cálculo sentencial. A obra inicia com observações preliminares e um relato histórico, explorando tabelas de valores, conectivos e tautologias, essenciais para a análise de argumentos e a teoria da demonstração.
A segunda parte foca no cálculo de predicados, enfatizando a simbolização da linguagem e as técnicas dedutivas. Exercícios práticos são incluídos, promovendo um aprendizado efetivo e aprofundado dos conceitos abordados.