| 1 |
مباحث کلی در منطق جدید |
|
| 2 |
مبحث گزاره ها |
|
| 3 |
انواع گزاره ها و روش های تعیین نوع آنها |
|
| 4 |
روش جدول ارزش ها |
|
| 5 |
انواع استدلال و روش های اثبات آنها |
|
| 6 |
قواعد نوزده گانه: قوانین نه‌گانه استلزام |
|
| 7 |
قوانین استنتاج و قوانین دهگانه جایگزینی |
|
| 8 |
روشهای اثبات استدلال: روش برهان خلف |
|
| 9 |
روش برهان شرطی |
|
| 10 |
برهان شرطی متعارف و برهان شرطی تقویت شده |
|
| 11 |
روش برهان شرطی دو فرضی: فرض بعد از فرض، فرض در فرض |
|
| 12 |
روش اثبات نامعتبر بودن یک برهان |
|
| 13 |
روش برهان خلف و برهان شرطی در اثبات توتولوژیکال بودن یک گزاره |
|
| 14 |
مقدمات و مبانی منطق محمولات |
|
| 15 |
برهان خلف و برهان شرطی در منطق محمولات |
|
| 16 |
بیان تاریخچه منطق جدید و مقایسه آن با منطق قدیم و بیان برخی تفاوتها و تشابهات |
|