首页 >  Term: modus ponens
modus ponens

(Latin for affirmative mode. ) An inference rule that states that if A is true, and A implies B, then B is also true.

0 0

创建者

  • Kevin Bowles
  •  (Diamond) 9014 分数
  • 50% positive feedback
© 2024 CSOFT International, Ltd.