Disjunction

Instead of asserting thatpandqare both true, as in a conjunctive statement, we can assert that eitherporqis true. This is a disjunction. The componentspandqare called thedisjuncts, and the connective "or" is represented by the wedge sign (v). As with conjunction and negation, the truth value ofpvqis determined by the truth values of its components.The truth table for disjunction, therefore, is as follows:

If

pqpvqT T T DisjunctionF T T T F T F F F pandqare both false, thenpvqis false. If only one of them is true (it doesn't matter which one), then the disjunction is true. When both are true, thenpvqis true.

© Copyright 1998, W.W. Norton & Co. |