Modus ponens — Другие языки