Skip to Content
Setjið inn leitarorð eða tilgreinið leitarskilyrði með reglulegri segð.

modus ponens
  1. aðskilnaðarregla, aðskilnaðarháttur
    = rule of detachment