Mathematical Logics with Truth

Lógica Matemática aplicativo inclui os seguintes tópicos:

> Negação - Para identificar uma afirmação como verdadeira, falsa ou aberta. Listar a negação de uma afirmação em forma simbólica e em sentença. Listar os valores verdadeiros para uma dada declaração e sua negação.

> Conjunção - Para definir o conector lógico, a declaração composta e a conjunção. Listar uma conjunção em forma simbólica e em forma de frase. Construir uma tabela de verdade para uma conjunção.

> Disjunção - Para definir disjunção. Listar uma disjunção em forma simbólica e em frase. Construir uma tabela de verdade para uma disjunção.

> Declarações Condicionais - Para identificar a hipótese e conclusão de uma condicional. Listar um condicional em forma simbólica e em sentença. Para listar o valor verdade de uma condicional, dado o valor de cada parte.

> Declarações Biconditional - Para listar um bicondicional em forma simbólica e em sentença. Identificar a hipótese e conclusão. Avaliar uma frase para determinar se é ou não biconicional.

Tautologias Para identificar as partes individuais de uma declaração composta. Construir uma tabela de verdade para uma instrução composta para determinar se é ou não uma tautologia.

> Contradição

> Contingência

> Tabela de verdade com 3 variáveis

> Diagrama de Venn