جلسه دوم درس‌گفتارهای درآمدی به منطق کاربردی از یاسر میردامادی