1. También esta caracterizada como:
1.1. filosofía, matemáticas, computación y física
1.1.1. Filosofía: determina si un razonamiento es valido o no
1.1.2. matemáticas: demostrar teorías e inferencias resultados
1.1.3. computación: revisar programas de acuerdo lo que van a realizar los problemas de las operaciones.
2. Proposición es una oración que se puede ser falsa o verdadera
2.1. la proposicion consta en 3 partes como:
2.1.1. un sujeto, un verbo y u complemento referido al verbo.
2.2. proposición contiene las letras minúsculas como: p, q, s, t.
2.2.1. dando un ejemplo: p: el helado es dulce; q: Boyaca es de campo; r: la música son variable.
2.3. proposición compuesta: en las que aparecen las partículas gramaticales como: No, o, y, si…entonces, si y solo si.
2.3.1. negación, disyunción, conjunción, condicional y bicondicional
2.4. proposición simple: proposiciones que ya no pueden descomponerse en dos expresiones que sean proposiciones.
3. Conectores lógicos: esta formada por varias proposiciones.
3.1. Negación: Su función es negar la proposición. Esto significa que sí alguna proposición es verdadera y se le aplica el operador not se obtendrá su negación (falso) y viceversa. Este operador se indica por medio del símbolo ’.
3.2. Disyunción: Con este operador se obtiene un resultado verdadero cuando alguna de las proposiciones es verdadera. Se conoce como suma lógica y su símbolo es ∨ (or).
3.3. Conjunción: Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado verdadero. Se le conoce como multiplicación lógica y su símbolo es ∧ (and).
4. Proposición condicional: Es aquella que está formada por dos proposiciones simples (o compuesta) p y q. La cual se indica de la siguiente manera: p ® q Se lee "Si p entonces q"
5. La lógica matemática es la disciplina que trata de métodos de razonamiento
5.1. premisas: es verdaderas, conclusión: es falsa y razonamiento es invalido
6. La lógica estudia la forma de razonamiento
6.1. elementos de razonamiento como:
6.1.1. forma y contenido
6.2. tipos de razonamientos:
6.2.1. razonamiento completo: cuando en las premisas se incluyen todos los casos particulares por ejemplo; pedro es universitario,
6.2.1.1. razonamiento incompleto: cuando en las premisas sólo se incluyen algunos de los casos particulares por ejemplo;
7. Tablas de verdad
7.1. es una tabla que muestra el valor de verdad de una proposicional compuesta para cada combinación que se puede asignar.
7.1.1. Verdad indeterminada o Contingencia: Se entiende por verdad contingente, o verdad de hecho, aquella proposición que puede ser verdadera o falsa, según los valores de las proposiciones que la integran.
7.1.2. Contradicción: aquella proposición que en todos los casos posibles de su tabla de verdad su valor siempre es F.
7.1.3. Tautologias: Se entiende por aquella proposición que en todos los casos posibles de su tabla de verdad su valor siempre es V.