Consider the argument A: Either it is hot or it is cold It is not hot Therefore it is cold .
This argument is of the form: Either P or Q Not P Therefore Q or (using standard symbols of propositional calculus): P Q P Q .