Järeldusreegel modus ponens
Meos, Indrek
Horisont
2003
/
2, lk. 51
https://artiklid.elnet.ee/record=b1012603*est