Descrição Esta Obra Tem Por Objetivo Dar Ao Leitor O Fundamento Introdutorio Para O Estudo Da Logica E Suas Aplicacoes. Esse Livro E Composto De Uma Parte Inicial, Em Que O Calculo Proposicional E Apresentado Com Conectivos, Tabelas-Verdade, Tautologias Mais Relevantes, Formalizacao De Argumentos E Prova De Sua Validade Ou Invalidade. Na Segunda Parte E Apresentado O Calculo De Predicados Com A Prova De Validade De Argumentos Usando O Quantificador Universal E O Existencial.
Saiba mais