25 + 46 ≠ 78 ist eine richtige Ungleichung. Sie wird bestätigt, wenn man die Summe 25 + 46 = 71 bildet. Man könnte die Ungleichung durch eine induktive Disjunction darstellen.
25 + 46 = 1 .V. 25 + 46 = 2 .V. ‒ ‒ ‒ .V. 25 + 46 = 77 .V. 25 + 46 = 79 .V. ‒ ‒ ‒