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

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


by Dr. Radut.