Oraciones lógicas
Oraciones que expresan proposiciones verdaderas o falsas, con su traducción a la lógica y 13 ejemplos comentados.
Se llama oraciones lógicas a las que pueden analizarse con las herramientas de la lógica: oraciones que afirman o niegan algo y que, por tanto, pueden ser verdaderas o falsas. No es un tipo de oración de la gramática, sino el punto en que se encuentran la gramática y la lógica, y conocerlo ayuda a razonar, argumentar y detectar errores. En este artículo verás qué condiciones cumplen, cómo se traducen al lenguaje lógico y 13 ejemplos comentados.
¿Qué son las oraciones lógicas?
La gramática clasifica las oraciones por su forma y por la actitud del hablante (enunciativas, interrogativas, exclamativas, imperativas, desiderativas…), pero no reconoce una clase llamada oración lógica. La expresión se usa en dos sentidos:
- En lógica y filosofía, designa la oración que expresa una proposición, es decir, un contenido del que tiene sentido decir que es verdadero o falso. Ya Aristóteles, en Sobre la interpretación, distinguió entre todo discurso con significado y el discurso apofántico o declarativo, el único en el que hay verdad o falsedad; su ejemplo de discurso que no es ni verdadero ni falso es la súplica.
- En el uso escolar y coloquial, oración lógica significa a veces ‘oración con sentido’, bien construida y coherente, frente a las que resultan absurdas o contradictorias. Este sentido tiene que ver con la coherencia textual más que con la lógica formal.
Este artículo se centra en el primer sentido. La palabra lógica procede del griego logikḗ, derivado de lógos (‘palabra, razón’). Para ver cómo se construyen tablas de verdad con proposiciones simples y compuestas, consulta los ejemplos de proposiciones simples y compuestas; aquí nos ocupamos de la relación entre la oración y la proposición.
Características de una oración lógica
- Es enunciativa: afirma o niega algo. Las preguntas, las órdenes y los deseos no son verdaderos ni falsos. Puedes repasar las oraciones enunciativas para ver su forma.
- Tiene sentido completo: no depende de una pregunta anterior ni deja huecos por rellenar.
- Su referencia está determinada: si dice él o aquí, el contexto debe aclarar a quién o a qué se refiere.
- Admite un valor de verdad: en la lógica clásica, verdadero o falso, y solo uno de los dos (principio de bivalencia).
- Su forma lógica puede no coincidir con su forma gramatical: una oración puede contener varias proposiciones y dos oraciones distintas pueden expresar la misma.
Oración gramatical y proposición lógica
| Caso | Ejemplo | Qué ocurre |
|---|---|---|
| Dos oraciones, una proposición | Luis es mayor que Marta / Marta es menor que Luis | Cambian el sujeto y el adjetivo, pero el contenido es el mismo. |
| Activa y pasiva | Un ingeniero diseñó el puente / El puente fue diseñado por un ingeniero | La gramática ve dos estructuras; la lógica, un mismo hecho. La gramática tradicional llamaba sujeto lógico al complemento agente de la pasiva. |
| Una oración, varias proposiciones | Mi hermana, que es piloto, vive en Lisboa | Afirma dos cosas: que es piloto y que vive en Lisboa. |
| Oración ambigua | Vi a tu primo con los prismáticos | Expresa dos proposiciones distintas según quién lleve los prismáticos. |
Cómo se traducen las palabras del español a la lógica
| Expresión en español | Conectiva lógica | Forma |
|---|---|---|
| y, pero, aunque, sin embargo, además | Conjunción | p ∧ q |
| ni… ni… | Conjunción de negaciones | ¬p ∧ ¬q |
| o | Disyunción (inclusiva) | p ∨ q |
| si p, (entonces) q; q siempre que p | Condicional | p → q |
| p solo si q | Condicional | p → q |
| p a menos que q | Condicional con negación | ¬q → p (equivale a p ∨ q) |
| p si y solo si q | Bicondicional | p ↔ q |
| no, no es cierto que | Negación | ¬p |
La traducción no es perfecta: la lógica conserva el valor de verdad, pero pierde matices como el contraste de pero o el orden temporal de y.
Ejemplos de oraciones lógicas comentados
- Los pingüinos no vuelan. Oración enunciativa negativa que expresa una proposición simple: ¬p, verdadera. La negación forma parte del contenido, no impide que sea una oración lógica.
- ¿Ha cerrado ya la panadería? / Apaga la luz al salir. / Ojalá mañana haga sol. Una pregunta, una orden y un deseo. Ninguna es verdadera ni falsa, así que no son oraciones lógicas en sentido estricto, aunque pueden presuponer proposiciones (la primera presupone que hay una panadería).
- Marta es abogada, pero no ejerce. Se formaliza como p ∧ ¬q. Pero equivale lógicamente a y: es verdadera si las dos partes lo son. El contraste que expresa pero se pierde al formalizar.
- Se casaron y tuvieron un hijo. En lógica, p ∧ q equivale a q ∧ p, pero en español Tuvieron un hijo y se casaron cuenta otra historia. El orden temporal no es parte del significado lógico de y, sino de cómo lo interpretamos.
- Ni el portero ni el conserje tienen la llave. Equivale a ¬p ∧ ¬q: es verdadera solo si ninguno de los dos la tiene.
- Saldremos de excursión a menos que llueva. Significa ‘si no llueve, saldremos’: ¬q → p. Es lógicamente equivalente a Saldremos de excursión o lloverá, aunque esta versión suene extraña.
- Te dejo la bici solo si me la devuelves antes de las ocho. Solo si introduce una condición necesaria: dejar → devolver (p → q). No promete que, si la devuelves, te la vaya a dejar.
- Todos los socios del club pagan cuota. Proposición universal afirmativa, la tipo A de la lógica aristotélica. En lógica de predicados: para todo x, si x es socio, x paga cuota.
- Algunos socios no asistieron a la asamblea. Particular negativa (tipo O). Es la contradictoria de Todos los socios asistieron a la asamblea: si una es verdadera, la otra es falsa. Estas proposiciones son la base del silogismo.
- Mañana habrá una batalla naval. Ejemplo de Aristóteles (Sobre la interpretación, cap. 9) sobre los futuros contingentes: ¿es ya verdadera o falsa una afirmación sobre algo que aún no ha ocurrido? La cuestión sigue discutiéndose en filosofía.
- El actual rey de Francia es calvo. Bertrand Russell la analizó en «On Denoting» (1905): como no existe ese rey, la consideró falsa. Peter Strawson objetó en 1950 que no es ni verdadera ni falsa, porque falla su presuposición.
- Esta oración tiene cinco palabras. Habla de sí misma y es verdadera: tiene exactamente cinco palabras. La autorreferencia no siempre produce paradojas.
- Este círculo es cuadrado. Es una oración lógica, pero falsa en cualquier circunstancia, porque atribuye al sujeto una propiedad incompatible con su definición. En lógica se llama contradicción a la fórmula que es falsa en todos los casos; lo opuesto es la tautología, verdadera siempre (Hoy es martes o no es martes).
Ejercicios resueltos
1. ¿Cuáles de estas oraciones son lógicas (verdaderas o falsas)? a) «Murcia está en la península ibérica». b) «¡Cuidado con el escalón!». c) «Siete por ocho son cincuenta y cuatro».
a) Sí, verdadera. b) No: es una advertencia. c) Sí, falsa (son cincuenta y seis). Ser falsa no impide ser una oración lógica.
2. Formaliza «Iré a la fiesta si termino el trabajo», con p = ‘iré a la fiesta’ y q = ‘termino el trabajo’.
q → p. La condición es terminar el trabajo, aunque aparezca en segundo lugar.
3. Formaliza «Iré a la fiesta solo si termino el trabajo».
p → q. Ahora terminar el trabajo es condición necesaria: si voy a la fiesta, es que lo he terminado.
4. Escribe la contradictoria de «Ningún alumno ha suspendido».
Algún alumno ha suspendido. Si una es verdadera, la otra es necesariamente falsa.
5. ¿Cuántas proposiciones contiene «Ana, que vive en Jaén, trabaja en un banco y estudia por las tardes»?
Tres: Ana vive en Jaén; Ana trabaja en un banco; Ana estudia por las tardes.
Importancia
Distinguir la forma gramatical de una oración de su contenido lógico es útil para estudiar lógica, pero también para la vida diaria: permite leer con precisión un contrato (no es lo mismo si que solo si), comprobar si un argumento es válido, detectar ambigüedades y evitar contradicciones al escribir. En los exámenes de comprensión lectora y en las pruebas de razonamiento verbal se pide a menudo identificar qué se afirma realmente en una oración, y eso es exactamente el análisis lógico.
¿Qué es una oración lógica?
Es una oración que expresa una proposición, es decir, que afirma o niega algo y por eso puede ser verdadera o falsa. No es una clase de oración de la gramática, sino un concepto de la lógica que se aplica a las oraciones enunciativas.
¿Las preguntas pueden ser oraciones lógicas?
En sentido estricto, no: una pregunta, una orden o un deseo no son verdaderos ni falsos. Sin embargo, pueden presuponer proposiciones; por ejemplo, ¿Cuándo vuelve tu hermano? presupone que tienes un hermano que se ha ido.
¿Qué diferencia hay entre oración y proposición?
La oración es una unidad gramatical con palabras concretas; la proposición es el contenido que expresa. Dos oraciones distintas pueden expresar la misma proposición (Luis es mayor que Marta / Marta es menor que Luis) y una sola oración puede contener varias.
¿Cómo se traduce pero al lenguaje lógico?
Como una conjunción (p ∧ q), igual que y: la oración es verdadera si lo son sus dos partes. El matiz de contraste que aporta pero no se recoge en la lógica proposicional.
¿Una oración gramaticalmente correcta es siempre lógica?
No. Puede ser una pregunta, una orden o un deseo, que no son verdaderos ni falsos. Y aunque sea enunciativa, puede referirse a algo inexistente o carecer de sentido, lo que dificulta asignarle un valor de verdad.
Referencias
- Aristóteles. Sobre la interpretación, en Tratados de lógica (Órganon). Madrid: Gredos.
- Russell, B. (1905). «On Denoting». Mind, 14.
- Deaño, A. Introducción a la lógica formal. Madrid: Alianza Editorial.
Cómo citar este artículo
Equipo de Conceptualia. (2026). «Oraciones lógicas». Conceptualia. https://conceptualia.es/lenguaje/oraciones-logicas/
