Terms containing predicate logic

Subject	English	Swedish
IT	clause form of predicate logic	predikatslogisk klausulform
IT	first-order predicate logic	predikatslogik
IT	predicate logic	predikatslogik
IT	second-order predicate logic	andra ordningens logik