double negative elimination (Q13425)
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 |
|---|---|---|---|
| English | double negative elimination |
inference rule that allows to infer a formula without the relevant negations when they immediately follows in an original formula |