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

логика предикатов с равенством מתח
.הִגָי	predicate logic with equality (Alex_Odeychuk)