double negation
(Q13426)
From Azupedia
Revision as of 17:56, 21 July 2023 by
Fire
(
talk
|
contribs
)
(
Created claim:
instance of
(P2)
:
theorem
(Q213)
)
(
diff
)
← Older revision
|
Latest revision
(
diff
) |
Newer revision →
(
diff
)
Jump to navigation
Jump to search
theorem
double negative elimination
Language
Label
Description
Also known as
English
double negation
theorem
double negative elimination
Statements
instance of
theorem
0 references
Sitelinks
⧼wikibase-sitelinks-mywikigroup⧽
(0 entries)
Navigation menu
Personal tools
English
Log in
Namespaces
Item
Discussion
English
Views
Read
View history
More
Search
Navigation
Main page
Recent changes
Random page
Help about MediaWiki
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Concept URI
LINK
投資用語集
The Motley Fool
Wikipedia ja
Wikipedia en
Create Item
Create Property
In other projects
In other languages
Add links