Azupedia

Item:Q13429: Difference between revisions

← Older edit
‎Created claim: instance of (P2): theorem (Q213)
‎Created claim: defining formula (P333): \forall P \forall Q: (P \and \lnot P) \vdash Q
 
(2 intermediate revisions by the same user not shown)
Property / subclass of
 
Property / subclass of: axiom / rank
 
Normal rank
Property / part of
 
Property / part of: logic / rank
 
Normal rank
Property / defining formula
 

\forall P \forall Q: (P \and \lnot P) \vdash Q
Property / defining formula: / rank
 
Normal rank
Retrieved from "https://wiki.tiffa.net/wiki/Item:Q13429"