Modus ponens

Allikas: Vikipeedia

Modus ponens on järeldusreegel kujul: kui A-st järeldub B ja A on tõene, siis on tõene ka B.

[redigeeri] Vaata ka

  • modus tollens