Orðaskrá

enskaíslenskaí vinnslu

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

sentential logic

1. yrðingarökfræði, fullyrðingarökfræði
   = logic of propositions, propositional logic
   -> propositional calculus