Orðaskrá

enskaíslenskaí vinnslu

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

logic of propositions

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