Go backward to TautologiesGo up to TopGo forward to Quantifier Consequences |

We show that the following is a tautology:

((We assume that its truth value is false and then derive a contradiction:A\/B) /\ (A=>C) /\ (B=>C)) =>C.

((Because the implication is false,A\/B) /\ (A=>C) /\ (B=>C)) =>C

Author: Wolfgang Schreiner

Last Modification: November 30, 1999