A type of conditional statement commonly interpreted as an assertion that the truth of the antecedent is not sufficient to establish the falsity of the consequent.
asserts that the truth of ‘Robert sleeps through class’ does not entail the truth of ‘Robert fails the final exam’ (i.e., the falsehood of ‘Robert passes the final exam’). A number of properties that frequently hold for conditionals fail for even-if conditionals. Notably, contraposition fails, as the sentence
does not seem to follow from the foregoing sentence.