Esa oración es cierta.
Un argumento es una colección de oraciones llamadas premisas, junto con una oración extra llamada la conclusión del argumento.
Definición : un argumento es lógicamente válido si y solo si no hay una interpretación bajo la cual las premisas sean todas verdaderas y la conclusión sea falsa.
Una verdad lógica es una oración que es verdadera en TODAS las interpretaciones.
- ¿Qué es la no existencia?
- ¿Por qué todo lo que da felicidad al hombre está cargado de culpa?
- ¡Qué gran paradoja que la mente usa para entenderse a sí misma! ¿Cómo agudizas tu mente diariamente?
- ¿Por qué la educación clásica cayó en desgracia en los Estados Unidos?
- ¿Cuál es tu definición de libertad?
Así, en un argumento con una verdad lógica como su conclusión, no podemos tener una interpretación bajo la cual todas las premisas sean verdaderas y la conclusión sea falsa por la sencilla razón de que no existe ninguna interpretación que haga que la conclusión sea falsa. Por lo tanto, la definición de validez se satisface trivialmente.
De hecho, esto hace que el siguiente argumento sea válido:
- El césped es verde.
- La hierba es azul
Conclusión: si llueve, entonces llueve.
Otra consecuencia contraria a la intuición de la definición anterior es que es posible concebir un argumento válido con una falsedad lógica como conclusión:
- Francia está en Europa.
- Las vacas comen hamburguesas.
- No es el caso que Francia esté en Europa.
Conclusión: 2 + 2 = 5.
Convéncete a ti mismo que este argumento satisface la definición presentada anteriormente.