Condicional material

Carta Común · N.º 221795

El condicional material, conocido como condicional, condicional funcional de verdad, o imprecisamente confundido con la implicación material, es un conectiva lógica que conecta dos proposiciones, representado usualmente como A → B {\displaystyle A\to B} . 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 A → B {\displaystyle A\to B} no establece convencionalmente una relación de causalidad entre sus proposiciones. Es simplemente una expresión que asume un valor-verdad falso cuando…

Leer en Wikipedia · Imagen Dnu72, CC BY-SA 4.0