英语 ⇄ 俄语 德语 英语 +

quantificational logic 强调
数学	логика предикатов
编程	предикатная логика (ssn)
英语 词库
quantificational logic
缩写	predicate logic (ssn)