Fundamentos de la lógica

¿Cómo distingues una conclusión justificada de una afirmación que solo parece convincente? Al evaluar una propuesta del agente necesitas examinar tanto los datos de partida como el razonamiento que los relaciona.

Objetivos y punto de partida

Tras la introducción, aprenderás a expresar condiciones, distinguir deducción, inducción y abducción y buscar contraejemplos. No necesitas conocer un lenguaje de programación.

Proposiciones y contexto

Una proposición expresa algo que puede evaluarse como verdadero o falso. Trabajaremos con lógica clásica bivalente: a cada proposición le corresponde uno de esos valores dentro de una interpretación determinada.

«Hay una plaza disponible» necesita contexto: ¿para qué actividad y en qué momento? «Reserva una plaza» es una orden, no una proposición. Desconocer el número de plazas tampoco equivale a saber que no hay ninguna: la falta de evidencia es distinta de la falsedad.

Llamaremos premisas a las afirmaciones de las que parte un razonamiento y conclusión a lo que se infiere de ellas. Debemos preguntar por separado si las premisas son verdaderas y si la conclusión se sigue de ellas.

Combinar condiciones

En nuestro modelo, una solicitud puede aceptarse cuando la persona está autorizada y queda alguna plaza. Por ahora suponemos que son las únicas condiciones y que el estado no cambia durante la decisión.

Y exige que ambas condiciones se cumplan. O, en sentido inclusivo, exige al menos una; permite que se cumplan las dos. NO invierte el valor de verdad. En un sistema real, comprobar identidad, permisos y disponibilidad requiere datos y mecanismos fiables; la tabla solo expresa la relación lógica.

Deducción: qué se sigue necesariamente

Una inferencia deductiva es válida cuando no puede tener premisas verdaderas y conclusión falsa. Si además sus premisas son verdaderas, el argumento es sólido. La deducción no se define simplemente como pasar de lo general a lo particular.

Ejemplo dentro del modelo:

1. Si una solicitud se acepta, la persona está autorizada.
2. La solicitud de Ana fue aceptada.
3. Por tanto, Ana estaba autorizada.

La conclusión se sigue de las premisas. Pero observar una aceptación real no demuestra que el sistema respete la primera regla: podría haber un fallo. Debemos distinguir una regla deseada de una propiedad comprobada de la implementación.

Error frecuente: «Si se acepta, está autorizada; está autorizada; por tanto, se acepta». No se sigue: podría no quedar plaza. Este caso es un contraejemplo a la inferencia inversa.

Inducción: aprender de casos observados

Tras probar varias solicitudes sin plaza, todas se rechazan. Eso aporta apoyo a la expectativa de que otras solicitudes similares se rechazarán. No demuestra que el sistema rechace todas las solicitudes sin plaza en cualquier circunstancia.

La fuerza de la inferencia depende de la cantidad, diversidad y pertinencia de los casos. Repetir cien veces una prueba idéntica puede dejar sin explorar una solicitud simultánea o un cambio de permisos. La inducción permite generalizar y predecir con incertidumbre.

Abducción: proponer explicaciones

Una reserva confirmada no aparece al volver a consultar. Una hipótesis es que no se guardó; otras son que se consultó otra actividad o que la vista no se actualizó.

La abducción busca una explicación plausible entre alternativas. Para compararlas, pide al agente evidencia que las diferencie: qué reserva se creó, dónde se conserva y qué consulta se realizó. Una explicación compatible con lo observado todavía puede ser incorrecta.

Razonar al dirigir al agente

Ante «ya funciona», pregunta qué se comprobó y bajo qué condiciones. Ante «el problema es el almacenamiento», distingue diagnóstico confirmado de hipótesis. Ante una recomendación, examina sus supuestos y fuentes.

Confundir correlación con causa o generalizar desde pocos casos debilita las conclusiones. La experiencia de una fuente puede aportar evidencia relevante, pero su prestigio o la fluidez de una respuesta de IA no sustituyen la justificación.

Practica

El agente informa: «Probé cinco reservas con plazas disponibles. Todas se aceptaron. Por tanto, el sistema nunca supera el aforo».

1. Separa observaciones y conclusión.
2. Explica por qué las observaciones no bastan para esa conclusión.
3. Propón un caso que ponga a prueba el límite de capacidad.
4. Si el caso falla, plantea dos explicaciones alternativas y una comprobación que ayude a distinguirlas.

Criterio de comprensión: debes incluir el aforo completo o la competencia por la última plaza, sin presentar una prueba superada como garantía universal. Tus explicaciones del fallo deben quedar identificadas como hipótesis hasta disponer de evidencia.

Profundiza con IA

Esta es mi respuesta al ejercicio: [respuesta]. Ayúdame a separar premisas, inferencias y conclusiones. Señala una laguna cada vez, pide una justificación y plantea un contraejemplo. Distingue deducción, inducción y abducción sin resolver el ejercicio por mí.

Fuentes y continuidad

Para ampliar las distinciones conceptuales: OpenStax, Arguments  y Types of Inferences . Son referencias de razonamiento, no documentación de herramientas.

Continúa con De la lógica al algoritmo.