Formuła logiczna – Inne języki