Noun, feminine
die Prädikatenlogik (n.) , {Lang.}