About: Condicional material (original) (raw)

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,