例:苏格拉底到底死不死? 口P(x):x是人;Q(x:x要死 口符号化及推理过程: 口人都是要死的:Vx(P(x>Q(x P苏格拉底)→Q苏格拉底) 苏格拉底是人:P苏格拉底) Q(苏格拉底)例：苏格拉底到底死不死？  P(x): x是人；Q(x)：x要死  符号化及推理过程：  人都是要死的：x(P(x) → Q(x)) P(苏格拉底) → Q(苏格拉底) 苏格拉底是人：P(苏格拉底) Q(苏格拉底)