معرفی فصل
پرش به ناوبری
پرش به جستجو
الگو:جعبه اطلاعات حکم ریاضیاتیالگو:قواعد تبدیل
معرفی فصل الگو:به انگلیسی یک قاعدۀ استنتاج حساب گزارهای و تقریباً هر دستگاه صوری دیگری است. این قاعده این امکان را فراهم میکند که ترکیب فصلیها را به براهین منطقی وارد کنیم.
این قاعده را میتوان بهصورت زیر بیان کرد: