作业帮 > 数学 > 作业

证明普通逻辑题:如果苏格拉底不是苏格拉底,那么海可枯石可烂.

来源:学生作业帮 编辑:作业帮 分类:数学作业 时间:2024/05/01 20:13:07
证明普通逻辑题:如果苏格拉底不是苏格拉底,那么海可枯石可烂.
这是一个充分假言命题:当前件为假的时候,整个命题恒真.
因此,前件“苏格拉底不是苏格拉底”为假(就好像说A不是A 一样,违反了同一律).则无论后件“海可枯石可烂”为真为假,整个命题都是真的.
再问: 再请教一个问题 证明:性质明天三段论第四格的一个特殊规则。 谢谢啊