(Q737471)

English

double negative elimination

inference rule that allows to infer a formula without the relevant negations when they immediately follows in an original formula

In more languages

Statements

rule of replacement

0 references

logical negation

0 references

double negation

0 references

admissible rule in

classical logic

0 references

Identifiers

Encyclopædia Britannica Online ID

topic/law-of-double-negation

subject named as

law of double negation

0 references

1 reference

Freebase Data Dumps

publication date

28 October 2013

Sitelinks

Wikipedia(8 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q737471&oldid=2109924004"