El condicionante o condicional material es un operador que actúa sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de falso solo cuando la primera proposición es verdadera y la segunda falsa, y verdadero en cualquier otro caso.
La tabla de verdad del condicional material es la siguiente:
Que se corresponde con la columna 5 del algoritmo fundamental.
No hay comentarios:
Publicar un comentario