Terms containing predicate logic

Subject	English	Danish
IT	clause form of predicate logic	prædikatslogisk klausulform
IT	first-order predicate logic	prædikatslogik
IT	first-order predicate logic	prædikatskalkyle
IT	predicate logic	prædikatskalkyle
IT	predicate logic	prædikatslogik
IT	second-order predicate logic	anden ordens logik
IT	second-order predicate logic	logik af anden orden
IT	second-order predicate logic	anden ordens prædikatskalkyle
IT	second-order predicate logic	prædikatskalkyle af anden orden