stringtranslate.com

Verdad vacía

En matemáticas y lógica , una verdad vacua es un enunciado condicional o universal (un enunciado universal que puede convertirse en un enunciado condicional) que es verdadero porque el antecedente no puede satisfacerse . [1] A veces se dice que un enunciado es vacuamente verdadero porque en realidad no dice nada. [2] Por ejemplo, el enunciado "todos los teléfonos móviles de la habitación están apagados" será verdadero cuando no haya ningún teléfono móvil presente en la habitación. En este caso, el enunciado "todos los teléfonos móviles de la habitación están encendidos " también sería vacuamente verdadero, al igual que la conjunción de los dos: "todos los teléfonos móviles de la habitación están encendidos y apagados", que de otro modo sería incoherente y falsa.

De manera más formal, un uso relativamente bien definido se refiere a una declaración condicional (o una declaración condicional universal) con un antecedente falso . [1] [3] [2] [4] Un ejemplo de tal declaración es "si Tokio está en España, entonces la Torre Eiffel está en Bolivia".

Tales afirmaciones se consideran verdades vacías porque el hecho de que el antecedente sea falso impide usar la afirmación para inferir algo sobre el valor de verdad del consecuente . En esencia, una afirmación condicional, que se basa en el condicional material , es verdadera cuando el antecedente ("Tokio está en España" en el ejemplo) es falso independientemente de si la conclusión o el consecuente ("la Torre Eiffel está en Bolivia" en el ejemplo) son verdaderos o falsos porque el condicional material está definido de esa manera.

Los ejemplos comunes en el habla cotidiana incluyen frases condicionales utilizadas como modismos de improbabilidad como "cuando el infierno se congele..." y "cuando los cerdos puedan volar...", lo que indica que antes de que se cumpla la condición dada (imposible) el hablante no aceptará alguna proposición respectiva (normalmente falsa o absurda).

En matemáticas puras , las afirmaciones vacuamente verdaderas generalmente no son de interés por sí mismas, pero con frecuencia surgen como el caso base de demostraciones por inducción matemática . [5] Esta noción tiene relevancia en matemáticas puras , así como en cualquier otro campo que utilice la lógica clásica .

Fuera de las matemáticas, las afirmaciones en forma de verdades vacías, aunque lógicamente válidas, pueden ser engañosas. Dichas afirmaciones hacen afirmaciones razonables sobre objetos calificados que en realidad no existen . Por ejemplo, un niño puede decirle a su padre con la verdad "me comí todas las verduras de mi plato", cuando en realidad no había ninguna verdura en su plato. En este caso, el padre puede creer que el niño realmente ha comido algunas verduras, aunque eso no sea cierto.

Alcance del concepto

Una afirmación es "vacuamente verdadera" si se parece a una afirmación condicional material , donde se sabe que el antecedente es falso. [1] [3] [2]

Entre los enunciados vacuamente verdaderos que pueden reducirse ( con transformaciones adecuadas ) a esta forma básica (condicional material) se incluyen los siguientes enunciados cuantificados universalmente :

Las verdades vacías aparecen más comúnmente en la lógica clásica con dos valores de verdad . Sin embargo, las verdades vacías también pueden aparecer, por ejemplo, en la lógica intuicionista , en las mismas situaciones que las dadas anteriormente. De hecho, si es falsa, entonces producirá una verdad vacía en cualquier lógica que use el condicional material ; si es una falsedad necesaria , entonces también producirá una verdad vacía bajo el condicional estricto .

Otras lógicas no clásicas, como la lógica de relevancia , pueden intentar evitar verdades vacías mediante el uso de condicionales alternativos (como el caso del condicional contrafáctico ).

En programación informática

Muchos entornos de programación tienen un mecanismo para consultar si cada elemento de una colección de elementos satisface algún predicado. Es común que una consulta de este tipo siempre dé como resultado verdadero en el caso de una colección vacía. Por ejemplo:

Ejemplos

Estos ejemplos, uno de matemáticas y otro del lenguaje natural , ilustran el concepto de verdades vacías:

Véase también

Referencias

  1. ^ abc "Vacuously true". web.cse.ohio-state.edu . Archivado desde el original el 18 de noviembre de 2023 . Consultado el 15 de diciembre de 2019 .
  2. ^ abc "Vacuously true - CS2800 wiki". courses.cs.cornell.edu . Archivado desde el original el 21 de junio de 2023 . Consultado el 15 de diciembre de 2019 .
  3. ^ ab «Definición:Verdad vacía – ProofWiki». proofwiki.org . Consultado el 15 de diciembre de 2019 .
  4. ^ ab Edwards, CH (18 de enero de 1998). "Vacuously True" (PDF) . swarthmore.edu . Archivado desde el original (PDF) el 28 de abril de 2021 . Consultado el 14 de diciembre de 2019 .
  5. ^ Baldwin, Douglas L.; Scragg, Greg W. (2011), Algoritmos y estructuras de datos: la ciencia de la computación, Cengage Learning, pág. 261, ISBN 978-1-285-22512-8
  6. ^ "Array.prototype.every() - JavaScript | MDN". developer.mozilla.org .
  7. ^ "Funciones integradas – Documentación de Python 3.10.2". docs.python.org .
  8. ^ "Iterador en std::iter – Rust". doc.rust-lang.org .
  9. ^ "lógica: ¿Qué es exactamente una verdad vacía?". Stack Exchange de matemáticas .

Bibliografía

Enlaces externos