ｿｸﾗﾃｽは人間である
人間は必ず死ぬ
ｿｸﾗﾃｽは必ず死ぬ


確かに三段論法の典型例としてよく言われるこれって三段論法じゃないんですね
なんか衝撃です

P(x):xは人間である
Q(x):xは必ず死ぬ

∀x P(x)→Q(x)
人間は必ず死ぬ

P(ソクラテス)→Q(ソクラテス)
ソクラテスは必ず死ぬ