Orðaskrá

enskaíslenskaí vinnslu

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

predicate logic

1. umsagnarökfræði
   = logic of quantifiers, quantification theory, quantificational logic
   -> predicate calculus