Orðaskrá

enskaíslenskaí vinnslu

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

predicate, n.

1. umsögn
   -> propositional function, sentential function

binary predicate

1. tvístæð umsögn
   = two-place predicate

many-place predicate

1. margstæð umsögn, umsögn með mörgum breytum
   = multiplace predicate
   -> relation

monadic predicate

1. einstæð umsögn
   = one-place predicate, unary predicate

multiplace predicate

1. margstæð umsögn, umsögn með mörgum breytum
   = many-place predicate
   -> relation

one-place predicate

1. einstæð umsögn
   = monadic predicate, unary predicate

predicate calculus

1. umsagnareikningur
   = functional calculus
   -> predicate logic

predicate logic

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

predicate symbol

1. umsagnartákn

predicate variable

1. umsagnarbreyta

predicated variable

1. skýribreyta
   = determining variable, regressor

recursive predicate

1. rakin umsögn

two-place predicate

1. tvístæð umsögn
   = binary predicate

unary predicate

1. einstæð umsögn
   = monadic predicate, one-place predicate