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