فرمت فایل:پاورپوینت
با قابلیت ویرایش وآماده پرینت
تعداد اسلاید: 40 اسلاید
بعضی اسلاید:
منطق گزاره ای:
نحو منطق گزاره ای، جملات مجاز را تعریف میکند
جملات اتمیک(عناصر غیر قابل تعمیم) از یک نماد گزاره تشکیل شده اند.
هر یک از این نمادها به گزاره ای درست یا نادرست اختصاص دارد
برای نمایش نمادها از حروف بزرگ مثل P,Q,R استفاده می کنیم. جملات پیچیده با استفاده از رابطهای منطقی، از جملات ساده تر ساخته میشوند
الگوهای استدلال در منطق گزاره...