double negative elimination

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

Wikidata entity: Q737471

P2577 admissible rule in ... Q236975 (classical logic) classical logic
P31 instance of ... Q1361787 (rule of replacement) rule of replacement
P361 part of ... Q5300067 (double negation) double negation
P279 subclass of ... Q23009442 (removal) removal
External Ids
P1417Encyclopædia Britannica Online IDtopic/law-of-double-negation
P646Freebase ID/m/05fvh

Why not click here or view trends?

log id: 6287080