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

قابل ویرایش 18 اسلاید

مجموعه صدق:
تعريف وجهي: مجموعه صدق گزاره p = مجموعه جهان‌هاي ممكني كه p در آن‌ها صادق است.
تعريف ربطي: مجموعه صدق گزاره p = مجموعه حالت‌هايي كه p در آن‌ها صادق است.
تناظر ميان نسب اربع مصداقي و صدقي
نسبت صدقي ميان دو گزاره = نسبت مصداقي ميان مجموعه صدق‌هاي آن دو گزاره:
دو گزاره مساوي‌اند ات‌ا مجموعه صدق آن‌ها مساوي باشند
دو گزاره متباين‌اند ات‌ا مجموعه صدق آن‌ها متباين باشند
گزاره الف عام‌تر از گزاره ب است ات‌ا مجموعه صدق الف عام‌تر از مجموعه صدق ب باشد
 مجموعه صدق يك گزاره همان مصداق گزاره است! (مقايسه كنيد با اين آموزه فرگه كه ارزش گزاره مصداق گزاره است.)
مثال:
گزاره «هر الف ب است» خاص‌تر است از گزاره «برخي الف ب است» زيرا مستلزم آن است.
ميان «الف داراي قلب است» و «الف داراي كليه است» عموم و خصوص جزيي برقرار است نه تساوي زيرا هيچ يك از اين دو مستلزم ديگري نيست.

معناي استلزام در نسب اربع صدقي