רוסית ⇄ אנגלית

формула логики первого порядка מתח
.הִגָי	formula of first-order logic (Alex_Odeychuk)