Proof: Let X be the set of all possible times. Let Y be the set of all people. Suppose x is a moment in time. Suppose y is Sean. Suppose A is a relation on X,Y such that math homework is being done. (x,y) is an element of A. Since x was arbitrary, we can conclude that at every moment in time Sean is doing math homework. Since Sean was arbitrary, we can conclude that at every moment in time everyone is doing math homework.
(The use of "arbitrary" is meant as a double-meaning pun -- I have been lax with my logic and said things willy-nilly [arbitrary in the conventional sense] in the very place that I misuse "arbitrary" in a logical sense without justification. I realize this may be trivial to point out, but logicians have missed that pun and only seen the misuse of the logical term.)
Click here to return to Sean Sullivan's Thoughts & Articles