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

sentential calculus
  1. yrðingareikningur, fullyrðingareikningur
    = propositional calculus
    -> sentential logic