double negative elimination
inference rule that allows to infer a formula without the relevant negations when they immediately follows in an original formula
| rdfs:label |
"double negative elimination"@en
|
|
skos:alt |
"Prinzip der doppelten Negation"@de
"duplex negatio affirmat"@de
|
| schema:description |
"inference rule that allows to infer a formula without the relevant negations when they immediately follows in an original formula"@en
|
|
schema:date |
"2025-10-03T18:33:42+00:00"^^xsd:dateTime |
| schema:version | 2412321661 |
| wikibase:identifiers | 2 |
| wikibase:sitelinks | 8 |
| wikibase:statements | 6 |
| p:P1417 | wd:statement/Q737471-122D74A3-E848-4DE2-82E8-21D437EE4449 |
| p:P2577 | wd:statement/Q737471-e771f338-4144-a11c-2351-2424b36e61e2 |
| p:P279 | wd:statement/Q737471-6B90C5CC-A9CB-4492-9D56-1C26B8A84B9B |
| p:P31 | wd:statement/Q737471-adb5f57a-4146-f535-f424-14fe106116ef |
| p:P361 | wd:statement/Q737471-de1fbae2-4c85-c18a-9ecc-50d391d5fc37 |
| p:P646 | wd:statement/Q737471-4F3B6C77-2813-4723-B99D-4D5491A73DAE |
| wdt:P1417 | "topic/law-of-double-negation" |
| wdt:P2577 | classical logic |
| wdt:P279 | removal |
| wdt:P31 | rule of replacement |
| wdt:P361 | double negation |
| wdt:P646 | "/m/05fvh" |
Download as: