A formal argument in Logic in which it is stated that (1) and (where means ``Implies''), and (2) either or is true, from which two statements it follows that either or is true.