Condicional
La condicional p→q, que se lee "si p, entonces q" o "p implica q," se define con la siguiente tabla de verdad.
La flecha "→" es el operador condicional, y en p→q la proposición p es llamada en el antecedente, o hipótesis, y q es llamada la consecuente, o conclusión.
Observa que el condicional en un nuevo ejemplo de un operador lógico binario -- asigna a cada par de proposiciones p y q la nueva proposición p→q.
No hay comentarios:
Publicar un comentario