اصطلاح مرجح
استنتاج طبیعی
نوع
-
http://www.irandoc.ac.ir/onto/irandoc-meta/Concept
مفهوم اعم
مفهومهای وابسته
یادداشت دامنه
-
این دستگاه که توسط گنتسن ارائه شد بر خلاف دستگاه اصل موضوعی , تنها قاعده (استنتاج) است.
در زبان های دیگر
natural deduction
English
URI
http://www.irandoc.acir/onto/irandoc/MAT0007361