Home
Random
Log in
Settings
About Azupedia
Disclaimers
Azupedia
Search
(Q13429)
Language
Watch
Statements
instance of
theorem
0 references
subclass of
axiom
0 references
part of
logic
0 references
defining formula
∀
P
∀
Q
:
(
P
∧
¬
P
)
⊢
Q
{\displaystyle \forall P\forall Q:(P\land \lnot P)\vdash Q}
0 references
Sitelinks
⧼wikibase-sitelinks-mywikigroup⧽
(0 entries)
edit
