El condicional material, conocido como condicional, condicional funcional de verdad, o imprecisamente confundido con la implicación material, es una conectiva lógica que conecta dos proposiciones, representado usualmente . En lógica proposicional, el condicional material es una función de verdad binaria, que se vuelve falso cuando B es falsa siendo A verdadera, y se vuelve verdadero en cualquier otro caso. En lógica de predicados, puede ser visto como una relación de subconjuntos entre la extensión de predicados (posiblemente complejos). Con respecto a las variables A y B,

Property Value
dbo:abstract
  • El condicional material, conocido como condicional, condicional funcional de verdad, o imprecisamente confundido con la implicación material, es una conectiva lógica que conecta dos proposiciones, representado usualmente . En lógica proposicional, el condicional material es una función de verdad binaria, que se vuelve falso cuando B es falsa siendo A verdadera, y se vuelve verdadero en cualquier otro caso. En lógica de predicados, puede ser visto como una relación de subconjuntos entre la extensión de predicados (posiblemente complejos). A diferencia del Español coloquial donde expresiones "si...., entonces..." implican causa y efecto, el condicional material no establece convencionalmente una relación de causalidad entre sus proposiciones. Es simplemente una expresión que asume un valor-verdad falso cuando, simultáneamente, es verdadero y es falso. El condicional material se puede denotar de varias maneras, (aunque este símbolo puede ser usado como el símbolo de un superconjunto en teoría de conjuntos) (aunque no es recomendado, ya que es usado para implicación lógica) (en notación polaca) Con respecto a las variables A y B, es el antecedente del condicional el consecuente del condicional Es importante no confundir el concepto de condicional material con el de implicación lógica. La confusión es exacerbada porque los símbolos y son imprecisamente usados como expresiones equivalentes por muchos, cuando realmente no lo son. Aunque en conversaciones del día a día la diferencia no tiene mayor impacto, la diferencia sutil entre ambos conceptos es significativa en el entendimiento correcto de la lógica proposicional. (es)
  • El condicional material, conocido como condicional, condicional funcional de verdad, o imprecisamente confundido con la implicación material, es una conectiva lógica que conecta dos proposiciones, representado usualmente . En lógica proposicional, el condicional material es una función de verdad binaria, que se vuelve falso cuando B es falsa siendo A verdadera, y se vuelve verdadero en cualquier otro caso. En lógica de predicados, puede ser visto como una relación de subconjuntos entre la extensión de predicados (posiblemente complejos). A diferencia del Español coloquial donde expresiones "si...., entonces..." implican causa y efecto, el condicional material no establece convencionalmente una relación de causalidad entre sus proposiciones. Es simplemente una expresión que asume un valor-verdad falso cuando, simultáneamente, es verdadero y es falso. El condicional material se puede denotar de varias maneras, (aunque este símbolo puede ser usado como el símbolo de un superconjunto en teoría de conjuntos) (aunque no es recomendado, ya que es usado para implicación lógica) (en notación polaca) Con respecto a las variables A y B, es el antecedente del condicional el consecuente del condicional Es importante no confundir el concepto de condicional material con el de implicación lógica. La confusión es exacerbada porque los símbolos y son imprecisamente usados como expresiones equivalentes por muchos, cuando realmente no lo son. Aunque en conversaciones del día a día la diferencia no tiene mayor impacto, la diferencia sutil entre ambos conceptos es significativa en el entendimiento correcto de la lógica proposicional. (es)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 206855 (xsd:integer)
dbo:wikiPageLength
  • 15785 (xsd:integer)
dbo:wikiPageRevisionID
  • 129060830 (xsd:integer)
prop-es:apellido
  • Quine (es)
  • Brown (es)
  • Grimaldi (es)
  • Edgington (es)
  • Stalnaker (es)
  • Quine (es)
  • Brown (es)
  • Grimaldi (es)
  • Edgington (es)
  • Stalnaker (es)
prop-es:año
  • 1975 (xsd:integer)
  • 1982 (xsd:integer)
  • 1998 (xsd:integer)
  • 2001 (xsd:integer)
  • 2003 (xsd:integer)
prop-es:diagramaDeVenn
  • Diagrama de Venn 20.svg (es)
  • Diagrama de Venn 20.svg (es)
prop-es:edición
  • 2 (xsd:integer)
  • 4 (xsd:integer)
  • Winter 2008 Edition (es)
prop-es:editor
  • Edward N. Zalta (es)
  • Lou Goble (es)
  • Edward N. Zalta (es)
  • Lou Goble (es)
prop-es:editorial
prop-es:enciclopedia
  • The Stanford Encyclopedia of Philosophy (es)
  • The Blackwell Guide to Philosophical Logic (es)
  • The Stanford Encyclopedia of Philosophy (es)
  • The Blackwell Guide to Philosophical Logic (es)
prop-es:enlaceautor
  • Willard van Orman Quine (es)
  • Willard van Orman Quine (es)
prop-es:idioma
  • inglés (es)
  • inglés (es)
prop-es:isbn
  • 9789684443242 (xsd:double)
prop-es:lenguajeNatural
  • A implica B (es)
  • si A entonces B (es)
  • A implica B (es)
  • si A entonces B (es)
prop-es:nombre
  • Dorothy (es)
  • Robert (es)
  • Ralph P. (es)
  • Dorothy (es)
  • Robert (es)
  • Ralph P. (es)
prop-es:nombres
  • Frank Markham (es)
  • Willard van Orman (es)
  • Frank Markham (es)
  • Willard van Orman (es)
prop-es:publicación
  • Philosophia (es)
  • Philosophia (es)
prop-es:páginas
  • 269 (xsd:integer)
prop-es:sined
  • sin (es)
  • sin (es)
prop-es:título
  • Condicionales (es)
  • Razonamiento booleanos: La lógica de las ecuaciones booleanas (es)
  • Condicionales indicativos (es)
  • Conditionals (es)
  • Métodos de la lógica (es)
  • Matemáticas discreta y combinatoria: introducción y aplicaciones (es)
  • Condicionales (es)
  • Razonamiento booleanos: La lógica de las ecuaciones booleanas (es)
  • Condicionales indicativos (es)
  • Conditionals (es)
  • Métodos de la lógica (es)
  • Matemáticas discreta y combinatoria: introducción y aplicaciones (es)
prop-es:ubicación
  • Nueva York (es)
  • Cambridge (es)
  • Nueva York (es)
  • Cambridge (es)
prop-es:url
prop-es:volumen
  • 5 (xsd:integer)
dct:subject
rdfs:comment
  • El condicional material, conocido como condicional, condicional funcional de verdad, o imprecisamente confundido con la implicación material, es una conectiva lógica que conecta dos proposiciones, representado usualmente . En lógica proposicional, el condicional material es una función de verdad binaria, que se vuelve falso cuando B es falsa siendo A verdadera, y se vuelve verdadero en cualquier otro caso. En lógica de predicados, puede ser visto como una relación de subconjuntos entre la extensión de predicados (posiblemente complejos). Con respecto a las variables A y B, (es)
  • El condicional material, conocido como condicional, condicional funcional de verdad, o imprecisamente confundido con la implicación material, es una conectiva lógica que conecta dos proposiciones, representado usualmente . En lógica proposicional, el condicional material es una función de verdad binaria, que se vuelve falso cuando B es falsa siendo A verdadera, y se vuelve verdadero en cualquier otro caso. En lógica de predicados, puede ser visto como una relación de subconjuntos entre la extensión de predicados (posiblemente complejos). Con respecto a las variables A y B, (es)
rdfs:label
  • Condicional material (es)
  • Condicional material (es)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is owl:sameAs of
is foaf:primaryTopic of