پاورپوینت درباره نسب اربع

اختصاصی از ژیکو پاورپوینت درباره نسب اربع دانلود با لینک مستقیم و پر سرعت .

فرمت فایل :powerpoint (قابل ویرایش) تعداد صفحات:18 صفحه

•مجموعه صدق:

•تعریف وجهی: مجموعه صدق گزاره p = مجموعه جهان‌های ممکنی که p در آن‌ها صادق است.

•تعریف ربطی: مجموعه صدق گزاره p  = مجموعه حالت‌هایی که p در آن‌ها صادق است.

•تناظر میان نسب اربع مصداقی و صدقی

•نسبت صدقی میان دو گزاره = نسبت مصداقی میان مجموعه صدق‌های آن دو گزاره:

•دو گزاره مساوی‌اند ات‌ا مجموعه صدق آن‌ها مساوی باشند

•دو گزاره متباین‌اند ات‌ا مجموعه صدق آن‌ها متباین باشند

•گزاره الف عام‌تر از گزاره ب است ات‌ا مجموعه صدق الف عام‌تر از مجموعه صدق ب باشد

• مجموعه صدق یک گزاره همان مصداق گزاره است! (مقایسه کنید با این آموزه فرگه که ارزش گزاره مصداق گزاره است.)

•مثال:

•گزاره «هر الف ب است» خاص‌تر است از گزاره «برخی الف ب است» زیرا مستلزم آن است.

•میان «الف دارای قلب است» و «الف دارای کلیه است» عموم و خصوص جزیی برقرار است نه تساوی زیرا هیچ یک از این دو مستلزم دیگری نیست.