证明苏格拉底的论点有效。运用离散数学的知识

现在这个命题被符号化了:注意

P (x): x是人；D (x): x是凡人；答:苏格拉底。

前提:ax (p (x) → d (x))，p(a)；(a代表全称量词)

结论:D(一)。

证书

1)Ax(P(x)→D(x))

2)P(a)→D(a) 1) UI

3)引入P (a)前提

D(a) 2)3)假设推理

领证。