首页 > 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
- 50% positive feedback
(Latin for affirmative mode. ) An inference rule that states that if A is true, and A implies B, then B is also true.