logic calculus

  1. 逻辑演算

网络词典

logic calculus

英 ˈlɒdɪks kælkjʊlə 美 ˈlɑːdɪks kælkjʊlə
名词 中文翻译:逻辑演算
同义词: ['logical calculus', 'logical theory', 'logical method']

例句:

  1. 1. Thelogic calculus is a fundamental tool in the study of mathematics.
    逻辑演算是一门数学研究的基本工具。
  2. 2.In logic calculus, we use symbols to represent propositions and logical operations.
    在逻辑演算中,我们使用符号来表示命题和逻辑运算。
  3. 3.The logic calculus is used to prove mathematical statements and solve problems.
    逻辑演算用于证明数学陈述和解决问题。