The statement PlornegPP \\lor \\neg PPlornegP is an example of:
Law of Excluded Middle
Law of Contradiction
Double Negation
De Morgan's Law