Formalización de inferencias

Una inferencia (razonamiento, deducción, argumentación o argumento)es una operación lógica que consiste en derivar a partir de la verdad de ciertas proposiciones conocidas como premisas la verdad de otra proposición conocida como conclusión.

Las premisas de una inferencia son proposiciones que ofrecen las razones para aceptar la conclusión. Preceden a las premisas,en inferencias desordenadas, las palabras ‘puesto que’, ‘ya que’,‘pues’, ‘porque’, ‘siempre que’, ’si’, etc.

La conclusión de una inferencia es la proposición que se afirma sobre la base de las premisas. Preceden a la conclusión las palabras‘luego’, ‘por tanto’, ‘por consiguiente’, ’en consecuencia’,etc. Además, en inferencias desordenadas, la proposición inmediatamente anterior a las palabras que preceden a las premisas
es la conclusión. Ejemplo:

A) Ningún metaloide es metal, puesto que todos los metales son cuerpos brillantes y ningún metaloide es cuerpo brillante (inferencias desordenada).
Premisas:
1. Todos los metales son cuerpos brillantes.
2. Ningún metaloide es cuerpo brillante.
Conclusión:
En consecuencia, ningún metaloide es metal.

En algunos casos habrá que ordenar las premisas y las inferencias, pero no tiene mucha dificultad hacerlo.