Q(x):x是有理数,R(x):x是实数 Z(x):x是整数
前提:(Vx)(Q(x)->R(x)),(存在x)(Q(x)∧Z(x))
结论:(存在x)(Q(x)∧Z(x))
1   (存在x)(Q(x)∧Z(x))    P
2         Q(a)∧Z(a)       存在指定规则
3   (Vx)(Q(x)->R(x))       P
4     Q(a)->R(a))           全称指定规则
5      Q(a)                T2  I
6      Z(a)                 T2  I
7      R(a)                T4,T5 I
8      R(a)∧Z(a)          T6,T7 I
9      (存在x)(R(x)∧Z(x))  T8,存在推广规则

M(x):x是人,  a:苏格拉底  D(x):x是要死的
前提:(全称x)(M(x)->D(x))  M(a)
结论：D(a)
1   (全称x)(M(x)->D(x))   P
2       M(a)->D(a)        T1, 全称指定规则
３　　　M(a)              P
4      D(a)               T2,T3  I
         

太谢谢你了！[em37]圣诞快乐！！！