Any help understanding why these statements are true is appreciated:
A.) If 8<3, then 2^{2} = 5.
B.) If 8 is even and 5 is not prime, then 4<7.
C.) If both 5-3=2 and 5+3=2, then 9=4.
Any statement of the form "If A, then B" can be evaluated by a flow chart.
$\displaystyle \begin{matrix}\text{Is }A\text{ true?} & \stackrel{\text{Yes?}}{\longrightarrow} & \text{Is } B \text{ true?} & \stackrel{\text{Yes?}}{\longrightarrow} & \text{Statement is true.} \\ \downarrow \text{No?} & & \downarrow \text{No?} & & \\ \text{Statement is true.} & & \text{Statement is false.} & &\end{matrix}$
That's about it.
Here is an old logic teacher's trick.
A false statement implies any statement.
A true statement is implied by any statement.
Look at the if statement if that is false look no further because the whole is true.
Look at the then statement if that is true look no further because the whole is true.