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

propositional logic
  1. yrðingarökfræði, fullyrðingarökfræði
    = logic of propositions, sentential logic
    -> propositional calculus
classical propositional logic
  1. sígild yrðingarökfræði