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