How can you prove the validity of a disjunctive syllogism using a truth table?

In symbolic logic, the validity of a disjunctive syllogism can be proved using a truth table. This table expresses all truth values (i.e., true or false, expressed as T or F) of the premises and conclusion under all possible conditions.

P Q PQ
(“Either P or Q.”)
¬P
(“Not P.”)
Conclusion
(“Therefore, Q”)
T

T

F

F

T

F

T

F

T

T

T

F

F

F

T

T

T

F

T

F

This truth table demonstrates that disjunctive syllogisms are valid by showing that when both premises are true (which occurs in row three) the conclusion is also true.