Výroková logika – Ostatné jazyky