{"product_id":"introducao-a-logica-matematica","title":"Introdução à lógica matemática","description":"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. Em cada capítulo, o conteúdo é ilustrado com exemplos esclarecedores, seguidos por exercícios resolvidos, cuja finalidade é levar o aluno a entender a lógica matemática, além dos exercícios propostos, os quais o leitor deverá resolver e conferir com a resolução apresentada pelos autores","brand":"Cengage Learning","offers":[{"title":"E-book","offer_id":53961623044423,"sku":"9788522115952","price":18.13,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/sabooks.pt\/products\/introducao-a-logica-matematica","provider":"Sabooks","version":"1.0","type":"link"}