predicatenlogica

== Dutch == === Etymology === From predicaat +‎ -en- +‎ logica. === Pronunciation === === Noun === predicatenlogica f (uncountable, no diminutive) predicate logic