چهارشنبه ۱۲ آبان ۱۳۹۵
خلاصهای از مباحث و نکات طرح شده در جلسه به همراه متون مربوطه:
* چرا تأکید میشود برای دامنه سور در قضیه حملیه پرانتز گذاشته شود؟ (فرق بین مشروطه و شرطیه)
* به چند فرم دیگر هم در پایاننامه خود این پارادوکس را آوردهاند: عطفی مرتبه اول، فرم شرطی گزارهای
* توضیحی در مورد قاعده حذف صور و وضع مقدم در استقراء
* در فقره بعدی از نماد F استفاده کرده است. آیا دلیل داشته؟