EXAMPLE 2.2.5 #1
First we substitute "T" for p and "F" for both q and r in the statement :


Now we take into account the meaning of "~F" in the expression within the parentheses:


Now we can evaluate the expression inside the parentheses, and we can remove the parentheses. A conditional statement in which both components are true is itself true:


Finally, we have an "or" statement in which one component is true.


This statement is true.


EXAMPLE 2.2.5 #2
Because this is an "if...then" statement in which the antecedant is false, the statement must be true. No other work is required.