Anti-Climacus

RANT: Painful, just painful. An hour going "T-F-T-T-F-F-T-F... oh, wait, if P then not Q... shit... now I have to start over again... now is it truth-functionally valid if and only if when the premises are true and the conclusion is never false... or is that truth-functional consistency?"