所有的人会死的,苏格拉底是人,所以,苏格拉底是会死的.请问用谓词逻辑怎么证明啊?这是考研真题,

来源:学生作业学帮网 编辑:学帮网 时间:2024/05/30 07:05:46

所有的人会死的,苏格拉底是人,所以,苏格拉底是会死的.请问用谓词逻辑怎么证明啊?这是考研真题,

额.
苏格拉底到底有没有底啊

死亡会降临到每个人头上,即便是伟大的人

P表示:所有的人都是要死的;Q表示:苏格拉底是人;R表示:苏格拉底是要死的。则:
P∧Q=>R

老死的