 |
| Russian | English |
| двойное отрицание | involution law (логика) |
| двойное отрицание | double negation (в логике — операция, эквивалентная двойному дополнению, преобразующая логический элемент в него самого) |
| отрицание импликации | exclusion (логика) |
| переменная без отрицания | uncomplemented variable (в булевом выражении) |
| переменная с отрицанием | complemented variable (в булевом выражении) |
| придаёт слову значение отрицания или противопоставления | dis |
| со значением отрицания | mis (напр., mistrust — недоверие) |