EXAMPLE3 推理与证明方法 苏格拉底论证 人固有一死,苏格拉底是人,因此苏格拉底固有一死。 2/24/202111:15PM Deren Chen Zhejiang univ推理与证明方法 2/24/2021 11:15 PM Deren Chen, Zhejiang Univ. 8 EXAMPLE 3 苏格拉底论证： 人固有一死，苏格拉底是人，因此苏格拉底固有一死