Loading AI tools
De Wikipedia, la enciclopedia libre
En lógica, la solidez[1] (en inglés soundness) es la propiedad que tienen los argumentos cuando son válidos y sus premisas son todas verdaderas.[2] Si un argumento es deductivamente válido, entonces si es sólido, su conclusión será necesariamente verdadera.
Por ejemplo, considérese el siguiente argumento:
Este argumento es sólido, porque por un lado es válido, y por otro lado las premisas son todas verdaderas. Pero considérese el siguiente argumento:
Este argumento no es sólido, porque aunque válido, una de las premisas es falsa. Por último, considérese el siguiente argumento:
Este argumento tampoco es sólido, porque aunque las premisas son todas verdaderas, el argumento no es válido. En nada cambia que la conclusión sea también verdadera.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.