پاورپوینت در مورد نسب اربع-18 اسلاید

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