การให้เหตุผลแบบนิรนัย - ภาษาอื่น ๆ