:: Introdução à Lógica Matemática e Computacional

Com este livro você aprenderá a desenvolver o raciocínio e ter uma padronização da metodologia aplicada. Conceitos que serão abordados: proposição, Axioma do Princípio da não contradição, Axioma do terceiro excluído, Valor lógico, Conectivos, Tabela verdade, Negação, Conjunção, Disjunção, Disjunção Exclusiva, Condicional, Bicondicional, Tautologia, Contingência, Implicação Lógica, Regra Modus tollens da Implicação Lógica, Regra do Silogismo Hipotético, Negação conjunta de duas proposições, Negação disjunta de duas proposições, Propriedades da Conjunção, Propriedades da Disjunção, Propriedades da Conjunção e da Disjunção, Negação da Condicional, Dedução, Formas das proposiçães, Princípio da Dualidade, Argumentos, Inconsistência, Sentenças e Quantificador Universal.

Livro virtual para consultas rápidas


Autor: Max Diniz Cruzeiro