استدلال استنتاجی - زبان‌های دیگر