句子演算
jùzi yǎnsuàn
см. 命题逻辑
ссылается на:
命题逻辑mìngtí luóji
логика высказываний, исчисление высказываний, пропозициональная логика, логика нулевого порядка
логика высказываний, исчисление высказываний, пропозициональная логика, логика нулевого порядка
sentential calculus; sentential calculus
примеры:
(语)句演算
исчисление предложения
{语}句演算
исчисление предложения
命题演算, (语)句演算命题演算
исчисление предложения
经典命题演算, 经典语句演算
классическое исчисление высказываний
运算微积(分), 算子演算
операционное исчисление
пословный:
| 句子 | 演算 | ||
предложение; фраза
|
мат. исчисление, вычисление, действие; упражняться в решении математических задач; математические упражнения
|