Англійська ⇄ Іспанська Італійська Англійська Грецька Данська Китайська Нідерландська Німецька Португальська Російська Українська Французька Фінська Шведська Японська +

predicate logic
IT	ло́гіка предика́тів
Англійський тезаурус
predicate logic
абрев.	quantificational logic (ssn)