If I do the truth table for some logic statement (such as [(P v not-P) implies Q] and I get all T's for the (P v not-P) part, that means the (p v not-p) part is a tautology, right?
But the whole thing [(P v not-P) implies Q] is not a tautology, right?
Is there a name for such a construction, besides "pointless"?