A statement of the form PlandnegPP \\land \\neg PPlandnegP is a:
Tautology
Contradiction
Contingency
Predicate