Para quem está iniciando seus estudos em lógica proposicional e lógica de predicados, ou mesmo para quem deseja revisitar os conteúdo de tais disciplinas, um bom material é o Logic Primer, de Colin Allen e Michael Hand (MIT Press). Recomendo tal material, e uso este com meus alunos, pois trata-se de uma introdução efetiva e 'direto-ao-ponto' ao método de dedução natural (tem um pouco de tabelas-de-verdade também) e porque há um capítulo (o último) dedicado à construção de modelos como contra-exemplos a conjuntos de fórmulas - uma ferramenta indispensável.
Em conjunto com o livro, os caras disponibilizaram um programinha que roda on-line, no seu browser, onde você pode fazer provas, testar equivalência de fórmulas e construir modelos como contra-exemplos a argumentos. Trata-se do Logic Daemon. Um pouco sério um pouco brincando, eu disse aos meus alunos que eu era dispensável dado tais ferramentas (é claro, tais ferramentas não vão responder perguntas como: "Mas por que um condicional se torna verdadeiro tão somente porque o seu antecedente é falso?").
