ホーム > 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
作成者
- Kevin Bowles
-
(Diamond) 9014 ポイント - 50% positive feedback
