作业帮 > 数学 > 作业

形式逻辑 三段论证明题

来源:学生作业帮 编辑:搜搜做题作业网作业帮 分类:数学作业 时间:2024/07/06 06:53:48
形式逻辑 三段论证明题
Q:设 ABC 分别为有效三段论的前提和结论,D是与结论C相矛盾的性质命题,
试证:ABC中肯定命题必然是两个.
我弱弱的想了想,如果ABC中肯定命题是两个,那么必然没有否定存在.否定一旦出现,无论如何都无法形成两个肯定命题.上面说D与结论C矛盾,我只能想到周延性也是相反的,如SAP与SEP 等等.但是,如何证明?
还没教我画图,
形式逻辑 三段论证明题
题 错了.应是设 ABC 分别为有效三段论的前提和结论,D是与结论C相矛盾的性质命题,试证:ABD中肯定命题必然是两个.
再问: 貌似可图解。但问题是,上课根本不教图解。算了。