sentential calculus

  1. 命题演算

网络词典

sentential calculus

英 ˈsɛntəˈnɛlɪk 美 ˈsɛntəˈnɛlɪk
名词 中文翻译:命题演算
同义词: ['propositional calculus', 'propositional logic例句:1. In sentential calculus', 'the truth values of sentences are determined by their logical form.(在命题演算中,句子的真值由其逻辑形式决定。)']

例句:

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