axiom-deduction method

  1. 公理-演绎法

网络词典

axiom-deduction method

英 ˈæksɪəm dɪˈdrɒk 美 ˈæksɪəm dɪˈdrɒk
名词 中文翻译:公理演绎法
同义词: ['axiomatic deduction', 'axiomatic reasoning例句:1. In the field of mathematics', 'axiom-deduction methods are used to prove theorems.(在数学领域,公理演绎法被用来证明定理。)']

例句:

  1. 1. In the field of mathematics, axiom-deduction methods are used to prove theorems.
    在数学领域,公理演绎法被用来证明定理。
  2. 2. The scientist used axiom-deduction methods to explain the phenomenon.
    这位科学家使用公理演绎法来解释这个现象。
  3. 3. The teacher explained the concept using axiom-deduction methods to make it easier for students to understand.
    老师用公理演绎法解释了这个概念,以便学生更容易理解。