double negative elimination
Sign in to saveinference rule that allows to infer a formula without the relevant negations when they immediately follows in an original formula
Wikidata facts
- Instance of
- rule of replacement
- Part of
- double negation
Show 1 more fact
- admissible rule in
- classical logic
Sources (1)
via Wikidata · CC0