جلسه ۵: منطق ریاضی: قواعد استنتاج منطقی (Rules of Inference)
4.4 هزار بار بازدید -
4 سال پیش
-
در این جلسه قواعد استنتاج
در این جلسه قواعد استنتاج منطقی (Rules of Inference) معرفی و به کمک مثال‌های متعدد بررسی شدند. قواعدی مانند قیاس استثنایی (Modus Ponens)، نفی تالی (Modus Tollens)، قاعده‌ی تجزیه (Resolution)، قیاس منطقی (Hypothetical Syllogism)، قیاس استثنایی منفصل (Disjunctive Syllogism) و Constructive Dilemma با مثال توضیح داده شدند.
در ادامه ترکیب این قواعد منطقی با سورها (Quantifiers) نیز مطرح و به کمک مثال تبیین شدند.
4 سال پیش
در تاریخ 1399/07/16 منتشر شده
است.
4,445
بـار بازدید شده