當前位置:名人名言大全網 - 名人名言 - “人皆有死,蘇格拉底是人,所以蘇格拉底是凡人”,請用謂詞邏輯證明。

“人皆有死,蘇格拉底是人,所以蘇格拉底是凡人”,請用謂詞邏輯證明。

三段論的結構和大前提;小前提->結論

大前提:人會死。

小前提:蘇格拉底是人。

結論:蘇格拉底將死。

事件(Event):蘇格拉底

謂語(事件):將死。

項目:人

GAI:(所有)人都會死

大前提和小前提是肯定性命題。

三段論成立

(題外話,用套語表達就是蘇格拉底