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. Deductivas
  2. Inductiva

Conoce más sobre las tablas de verdad