Formula (logika) – Ostatné jazyky