首页 > Term: modus ponens
modus ponens
(Dal latino modalità affermativa. ) Una regola di inferenza afferma che se ' A ' è vero, e ' A ' implica ' B ', poi ' B ' è anche vero.
0
创建者
- Margherita
- 100% positive feedback
(Italy)