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

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