En lógica, la solidez (en inglés soundness) es la propiedad que tienen los argumentos cuando son válidos y sus premisas son todas verdaderas.​ 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: 1. * Todos los hombres son mortales. 2. * Todos los griegos son hombres. 3. * Luego, todos los griegos son mortales. 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:

Property Value
dbo:abstract
  • En lógica, la solidez (en inglés soundness) es la propiedad que tienen los argumentos cuando son válidos y sus premisas son todas verdaderas.​ 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: 1. * Todos los hombres son mortales. 2. * Todos los griegos son hombres. 3. * Luego, todos los griegos son mortales. 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: 1. * Todos los hombres son mortales. 2. * Todas las plantas son hombres 3. * Luego, todas las plantas son mortales. Este argumento no es sólido, porque aunque válido, una de las premisas es falsa. Por último, considérese el siguiente argumento: 1. * Todos los hombres son mortales. 2. * Todos los patos son animales. 3. * Luego, todos los animales son mortales. 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. (es)
  • En lógica, la solidez (en inglés soundness) es la propiedad que tienen los argumentos cuando son válidos y sus premisas son todas verdaderas.​ 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: 1. * Todos los hombres son mortales. 2. * Todos los griegos son hombres. 3. * Luego, todos los griegos son mortales. 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: 1. * Todos los hombres son mortales. 2. * Todas las plantas son hombres 3. * Luego, todas las plantas son mortales. Este argumento no es sólido, porque aunque válido, una de las premisas es falsa. Por último, considérese el siguiente argumento: 1. * Todos los hombres son mortales. 2. * Todos los patos son animales. 3. * Luego, todos los animales son mortales. 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. (es)
dbo:wikiPageID
  • 3906696 (xsd:integer)
dbo:wikiPageLength
  • 1607 (xsd:integer)
dbo:wikiPageRevisionID
  • 120129569 (xsd:integer)
dct:subject
rdfs:comment
  • En lógica, la solidez (en inglés soundness) es la propiedad que tienen los argumentos cuando son válidos y sus premisas son todas verdaderas.​ 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: 1. * Todos los hombres son mortales. 2. * Todos los griegos son hombres. 3. * Luego, todos los griegos son mortales. 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: (es)
  • En lógica, la solidez (en inglés soundness) es la propiedad que tienen los argumentos cuando son válidos y sus premisas son todas verdaderas.​ 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: 1. * Todos los hombres son mortales. 2. * Todos los griegos son hombres. 3. * Luego, todos los griegos son mortales. 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: (es)
rdfs:label
  • Solidez (es)
  • Solidez (es)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is owl:sameAs of
is foaf:primaryTopic of