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