俄语 ⇄ 世界语 中文 丹麦语 乌克兰语 俄语 保加利亚语 加泰罗尼亚语 匈牙利语 南非荷兰语 卡尔梅克语 土耳其语 塔吉克语 巴什基尔语 希伯来语 希腊语 德语 意大利语 拉丁语 拉脱维亚语 挪威博克马尔语 捷克语 日语 格鲁吉亚语 法语 波兰语 波斯语 爱沙尼亚语 瑞典语 芬兰语 苏格兰盖尔语 英语 荷兰语 葡萄牙语 西班牙语 越南语 阿塞拜疆语 阿布哈兹语 阿拉伯语 高棉语

俄语	英语
высказывание логики первого порядка	first-order sentence (ssn)
многосортная логика первого порядка	many-sorted first-order logic (Alex_Odeychuk)
первая посылка	premiss (Andrey Truhachev)
первая посылка	premise (Andrey Truhachev)
предложение логики первого порядка	first-order sentence (ssn)
формализм логики первого порядка	first order logic formalism (quantifiers Alex_Odeychuk)
формализм логики первого порядка	first-order logic-based formalism (quantifiers Alex_Odeychuk)
формула логики первого порядка	formula of first-order logic (Alex_Odeychuk)