-
Englisch
-
Russisch
-
Deutsch
-
Französisch
-
Italian
-
Greek
-
Englisch
-
Russisch
-
Deutsch
-
Französisch
-
Italian
-
Greek
Propositional-logical
Übersetzung von "propositional-logical" ins Russisch
propositional-logical
Adjektiv
UK
/ˌprɒp.əˈzɪʃ.ən.əl ˈlɒdʒ.ɪ.kəl/
US
/ˌprɑː.pəˈzɪʃ.ən.əl ˈlɑː.dʒɪ.kəl/
Hyphenated relational adjective; typically used attributively in logic.
Термин логики; относится к логике высказываний.
The course introduces propositional-logical operators and rules of inference.
Курс знакомит с пропозиционально-логическими операторами и правилами вывода.
Weitere Übersetzungen
высказывательно-логический
Термин логики; менее частотный вариант. Definitionen
propositional-logical
Adjektiv
UK
/ˌprɒp.əˈzɪʃ.ən.əl ˈlɒdʒ.ɪ.kəl/
US
/ˌprɑː.pəˈzɪʃ.ən.əl ˈlɑː.dʒɪ.kəl/
Relating to propositional logic.
The course introduces propositional-logical operators and rules of inference.
Redewendungen und Phrasen
propositional-logical formula
The textbook asks students to translate each sentence into a propositional-logical formula.
формула логики высказываний
Учебник просит студентов перевести каждое предложение в формулу логики высказываний.
propositional-logical language
She is studying how natural language is represented in a propositional-logical language.
язык пропозициональной логики
Она изучает, как естественный язык представляется на языке пропозициональной логики.
propositional-logical calculus
The proof was carried out entirely within propositional-logical calculus.
исчисление высказываний
Доказательство было проведено полностью в исчислении высказываний.
propositional-logical system
This chapter introduces a propositional-logical system with clear rules of inference.
система пропозициональной логики
В этой главе представлена система пропозициональной логики с чёткими правилами вывода.
propositional-logical operator
Negation is one of the basic propositional-logical operators.
оператор логики высказываний
Отрицание — один из основных операторов логики высказываний.
propositional-logical notation
The author uses propositional-logical notation to keep the argument precise.
нотация исчисления высказываний
Автор использует нотацию исчисления высказываний, чтобы сделать аргумент точным.
propositional-logical expression
Each propositional-logical expression can be evaluated as true or false.
высказывательно-логическое выражение
Каждое высказывательно-логическое выражение можно оценить как истинное или ложное.
propositional-logical proof
The students compared a semantic argument with a propositional-logical proof.
доказательство в исчислении высказываний
Студенты сравнили семантический аргумент с доказательством в исчислении высказываний.
propositional-logical equivalence
The two statements are connected by propositional-logical equivalence.
эквивалентность высказываний (в пропозициональной логике)
Два высказывания связаны эквивалентностью в пропозициональной логике.
propositional-logical reasoning
Propositional-logical reasoning helps identify whether the conclusion follows from the premises.
рассуждение в пропозициональной логике
Рассуждение в пропозициональной логике помогает определить, следует ли заключение из посылок.
propositional-logical inference
The rule is a standard propositional-logical inference used in formal proofs.
пропозиционно-логический вывод
Это правило является стандартным пропозиционно-логическим выводом, используемым в формальных доказательствах.
propositional-logical theorem
The class proved a propositional-logical theorem about implication and contradiction.
теорема пропозициональной логики
Класс доказал теорему пропозициональной логики об импликации и противоречии.