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

logically valid formula מתח
.מָתֵי	логически общезначимая формула