
Logical unsatisfiability

Перевод слова "logical unsatisfiability" на русский язык
logical unsatisfiability
The theorem proved the logical unsatisfiability of the given set of statements.
Теорема доказала логическую неразрешимость данного набора утверждений.