Esta obra foi escrita por docentes da Academia da Força Aérea (AFA), responsáveis pela disciplina Lógica Matemática, e tem por objetivo dar ao leitor o fundamento introdutório necessário para o estudo aprofundado da Lógica e suas aplicações, além de suprir uma deficiência bibliográfica de textos mais acessíveis e didáticos. Para tanto, este livro é composto de uma parte inicial, em que o Cálculo Proposicional é apresentado com conectivos, tabelas-verdade, tautologias mais relevantes, formalização de argumentos e prova de sua validade ou invalidade. Na segunda parte é apresentado o Cálculo de Predicados com a prova de validade de argumentos usando o quantificador universal e o existencial.
Autor: Bispo, Carlos Alberto F./ Castanheira, Luiz B./ S. Filho, Oswaldo Melo
Editora: Cengage Learning
ISBN: 9788522111268
Ano: 2012
Edição: 1
Páginas: 208
Encadernação: Brochura
Formato: 15.8 x 23 x 0.7 cm