名词
中文翻译:命题演算
同义词:
['propositional calculus', 'propositional logic例句:1. In sentential calculus', 'the truth values of sentences are determined by their logical form.(在命题演算中,句子的真值由其逻辑形式决定。)']
例句:
-
1. In sentential calculus, the truth values of sentences are determined by their logical form.
在命题演算中,句子的真值由其逻辑形式决定。
-
2.Propositional calculus is a formal system for expressing and reasoning about statements.
命题演算是一种用于表达和推理陈述的形式主义系统。
-
3. The study of sentential calculus is crucial in developing algorithms for solving complex problems.
研究命题演算对于开发解决复杂问题的算法至关重要。