A statement of the form PlornegPP \\lor \\neg PPlornegP is an example of:
Double Negation
Idempotent Law
Law of Excluded Middle
Law of Contradiction