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