Mathematical Logics with Truth

La aplicación de lógica matemática incluye los siguientes temas:

> Negación: para identificar una declaración como verdadera, falsa o abierta. Para enumerar la negación de una declaración en forma simbólica y en oración. Para enumerar los valores de verdad para una declaración dada y su negación.

> Conjunción: para definir el conector lógico, la sentencia compuesta y la conjunción. Para enumerar una conjunción en forma simbólica y en oración. Construir una tabla de verdad para una conjunción.

> Disyunción -Definir disyunción. Para enumerar una disyunción en forma simbólica y oracional. Construir una tabla de verdad para una disyunción.

> Declaraciones condicionales: para identificar la hipótesis y la conclusión de un condicional. Para enumerar un condicional en forma simbólica y en oración. Para enumerar el valor de verdad de un condicional, dado el valor de cada parte.

> Declaraciones de Biconditional- Para enumerar un biconditional en forma simbólica y en oración. Identificar la hipótesis y conclusión. Para evaluar una oración para determinar si es o no bicondicional.

Tautologías Para identificar las partes individuales de una declaración compuesta. Para construir una tabla de verdad para una declaración compuesta para determinar si es una tautología o no.

> Contradiccion

> Contingencia

> Tabla de verdad con 3 variables.

> Diagrama de Venn