Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
Proof that P && !P (apenantology) is always false
//I propose an apenantology can be represented as P && !P such that this expression is always false
//Proof
P || !P // Tautology, always true
=> !(P || !P) // Inverse of tautological statement, always false
=> !P && P // Distributive property of &&
=> P && !P // Commutitive property of &&
=> P && !P <=> false
QED
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.