منطق ریاضی - قسمت ۱۸ - استنباط منطقی (۲)