Home
Random
Log in
Settings
About Azupedia
Disclaimers
Azupedia
Search
(Q13429)
Language
Watch
Revision as of 18:01, 21 July 2023 by
Fire
(
talk
|
contribs
)
(
Created claim:
defining formula
(P333)
: \forall P \forall Q: (P \and \lnot P) \vdash Q)
(
diff
)
← Older revision
| Latest revision (diff) | Newer revision → (diff)
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
