double negative elimination (Q6822229)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Unfortunately, we do not yet have an article page for this item.
inference rule that allows to infer a formula without the relevant negations when they immediately follows in an original formula
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | double negative elimination |
inference rule that allows to infer a formula without the relevant negations when they immediately follows in an original formula |
