Lógica proposicional e inferencias lógicas:

La lógica proposicional analiza las relaciones entre proposiciones, así como la verdad o falsedad de las mismas.

• Variables: Son letras que utilizamos para denotar enunciados y argumentos.
• Conectores: Son símbolos importantes que ayudan a conectar estas variables, también son llamados conectivos lógicos.
• Auxiliares: Son signos de agrupación que nos sirve para agrupar y darle sentido de organización de lo que se está escribiendo.

1. Enunciado: Es un conjunto de palabras que tienen un sujeto y predicado.
2. Proposición: Es un enunciado al que se le puede dar un valor de verdad (verdadero o falso).
3. Premisa: Es el enunciado/proposición que tenemos afirmado.
4. Argumento: Es un conjunto de premisas.
5. Conclusión: Se redacta a partir del argumento.

Las inferencias lógicas son el proceso de razonamiento por el cual se deriva o extrae una conclusión de una o varias premisas, estas se pueden clasificar según:

• Número de premisas:1. Inmediatas: una sola premisa.2. Mediatas:dos o más premisas.
• Forma de razonamiento:1. Deductivas2. Inductiva

Conectivos lógicos

El pensamiento lógico matemático se divide en 5 tipos de pensamiento:

1. Numérico
2. Espacial.
3. Medida.