命题演算
_
calculus of propositions, propositional calculus, sentential calculus
исчисление предложения; пропозидиональное исчисление; исчисление высказываний; исчисление высказываий; пропозициональное исчисление
{数} propositional calculus; sentential calculus; calculus of proposition
calculus of proposition; propositional calculus
в русских словах:
классическое исчисление высказываний
经典语句演算, 经典命题演算
примеры:
命题演算, (语)句演算命题演算
исчисление предложения
经典命题演算, 经典语句演算
классическое исчисление высказываний
这道数学题演算起来很复杂。
The mathematical calculations for this question are very complicated.
пословный:
| 命题 | 演算 | ||
1) лог., филос. суждение, утверждение; предложение; лингв. высказывание; предложение; пропозиция
2) задать тему (для сочинения), заданная тема; мат. задать задачу
|
мат. исчисление, вычисление, действие; упражняться в решении; математические упражнения
|