-
Английский
-
Русский
-
Германский
-
Французский
-
Итальянский
-
Греческий
-
Английский
-
Русский
-
Германский
-
Французский
-
Итальянский
-
Греческий
Пропозиционально-логический
Перевод слова "пропозиционально-логический" на Английский язык
пропозиционально-логический
Прилагательное
Основная форма
/prəpəzʲɪtsɨɐˈnalʲnə lɐˈɡʲit͡ɕɪskʲɪj/
Основная форма
/prəpəzʲɪtsɨɐˈnalʲnə lɐˈɡʲit͡ɕɪskʲɪj/
Относительное прилагательное; степени сравнения обычно не образует.
Used in logic and mathematics; relating to propositional logic.
пропозиционально-логический анализ высказываний
propositional-logical analysis of statements
Дополнительные переводы
Common in logic; slightly broader and often used in compounds like propositional logic.
Опеределения
пропозиционально-логический
Прилагательное
Основная форма
/prəpəzʲɪtsɨɐˈnalʲnə lɐˈɡʲit͡ɕɪskʲɪj/
Основная форма
/prəpəzʲɪtsɨɐˈnalʲnə lɐˈɡʲit͡ɕɪskʲɪj/
относящийся к пропозициональной логике; основанный на пропозициональной логике
пропозиционально-логический анализ высказываний
Идиомы и фразы
пропозиционально-логическое исчисление
В курсе математической логики мы изучали пропозиционально-логическое исчисление.
propositional calculus
In the course on mathematical logic we studied propositional calculus.
пропозиционально-логическая формула
Эта пропозиционально-логическая формула является тавтологией.
propositional logic formula
This propositional logic formula is a tautology.
пропозиционально-логический язык
Для записи рассуждений используется пропозиционально-логический язык.
the language of propositional logic
The language of propositional logic is used to record reasoning.
пропозиционально-логическая переменная
В задаче каждая пропозиционально-логическая переменная принимает одно из двух значений.
propositional variable
In the problem, each propositional variable takes one of two values.
пропозиционально-логическая семантика
Пропозиционально-логическая семантика помогает понять, когда формула истинна.
propositional logic semantics
Propositional logic semantics helps to understand when a formula is true.
пропозиционально-логический вывод
Студент должен уметь строить пропозиционально-логический вывод по заданным посылкам.
inference in propositional logic
The student must be able to construct an inference in propositional logic from the given premises.
пропозиционально-логическая система
Эта пропозиционально-логическая система описывает свойства высказываний.
propositional logic system
This propositional logic system describes the properties of propositions.
пропозиционально-логический закон
Закон исключённого третьего считается пропозиционально-логическим законом.
law of propositional logic
The law of excluded middle is considered a law of propositional logic.
пропозиционально-логическая тавтология
Формула A ∨ ¬A — это пропозиционально-логическая тавтология.
propositional tautology
The formula A ∨ ¬A is a propositional tautology.
пропозиционально-логическое выражение
Пропозиционально-логическое выражение можно преобразовать в более удобную форму.
propositional logic expression
A propositional logic expression can be transformed into a more convenient form.
пропозиционально-логическая модель
Для проверки истинности формулы строится пропозиционально-логическая модель.
propositional logic model
A propositional logic model is constructed to check the truth of a formula.
пропозиционально-логический анализ
Пропозиционально-логический анализ текста помогает выявить структуру рассуждения.
propositional-logical analysis
Propositional-logical analysis of a text helps to identify the structure of the argument.