double negative elimination (Q737471)
Jump to navigation
Jump to search
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 |
Statements
Identifiers
Sitelinks
Wikipedia(8 entries)
- dewiki Gesetz der doppelten Negation
- eswiki Eliminación de la doble negación
- jawiki 二重否定の除去
- nlwiki Eliminatie van dubbele negatie
- plwiki Prawo podwójnej negacji
- ruwiki Закон двойного отрицания
- ukwiki Закон подвійного заперечення
- zhwiki 双重否定除去