Translation of "double negative elimination" into Portuguese
eliminação de dupla negativa is the translation of "double negative elimination" into Portuguese.
double negative elimination
-
eliminação de dupla negativa
inference rule that allows to infer a formula without the relevant negations when they immediately follows in an original formula
-
Show algorithmically generated translations
Automatic translations of "double negative elimination" into Portuguese
-
Glosbe Translate
-
Google Translate
Add example
Add