Home
Random
Log in
Settings
About Azupedia
Disclaimers
Azupedia
Search
(Q8134)
Language
Watch
Revision as of 09:48, 2 May 2023 by
Fire
(
talk
|
contribs
)
(
Created claim:
defining formula
(P333)
: P \rightarrow Q)
(
diff
)
← Older revision
|
Latest revision
(
diff
) |
Newer revision →
(
diff
)
Statements
instance of
logical connective
0 references
Boolean function
0 references
defining formula
P
→
Q
{\displaystyle P\rightarrow Q}
0 references
Sitelinks
⧼wikibase-sitelinks-mywikigroup⧽
(0 entries)
edit