例2.令A:所有自然数都是整数 B:8是自然数。 C:8是整数 这是著名的三段论推理,A是大前提,B是小前提, C是结论。显然,由A和B可以推出结论C。这 个推理是有效的,但是这个推理在第一章也是无 法实现的 分析:命题P与Q中的谓语是相同的(是大学生), 只是主语不同。命题A、B、C之间在主语谓语 方面也是有联系的,靠这种联系才能由A、B推 出C。而从这三个符号上看不出此种联系。 所以就要另外考虑表示命题的方法。例2.令 Ａ：所有自然数都是整数。 Ｂ：８是自然数。 Ｃ：８是整数。 这是著名的三段论推理，A是大前提，B是小前提， C是结论。显然，由Ａ和Ｂ可以推出结论Ｃ。这 个推理是有效的，但是这个推理在第一章也是无 法实现的。 分析：命题Ｐ与Ｑ中的谓语是相同的(是大学生), 只是主语不同。命题Ａ、Ｂ、Ｃ之间在主语谓语 方面也是有联系的，靠这种联系才能由Ａ、Ｂ推 出Ｃ。而从这三个符号上看不出此种联系。 所以就要另外考虑表示命题的方法