צ'כית ⇄ רוסית +

logika funkcí מתח
.מָתֵי	логика предикатов