... , notice that the negation is outside the parentheses, acting on the truth value ... the conditional truth function '-->'. The conditional takes in the truth values of the ... false, and there's only one condition where the '-->' is false, namely ...