Question

Cual es el nombre del conectivo lógico que se utiliza en la siguiente proposición: p =>q?

Answer 1

Condicional materia

lEl 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 {\displaystyle A\to 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 {\displaystyle A\to 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, simultáneamente, {\displaystyle A}A es verdadero y {\displaystyle B}B es falso.