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.
