Implikation

Ein binärer wahrheitsfunktionaler Junktor (gewöhnlich mit → bezeichnet) nach der Semantik der materiellen Implikation, der genau dann falsch ist, wenn der Antezedens wahr und der Konsequens falsch ist, und in allen anderen klassischen Bewertungen wahr.