搜索
首页 教育/科学 人文学科 哲学

逻辑学题目

请问这种题目应该如何解题?是用命题演算的方法还是其他方法呢?请用逻辑学术语解题,谢谢。

全部回答

2010-12-05

0 0
    A无罪记为┐A,有罪记为A B无罪记为┐B,有罪记为B C无罪记为┐C,有罪记为C 已知┐A∨B→C,并且C→A都成立,即[(┐A∨B→C)∧(C→A)] = ?B (┐A∨B→C)∧(C→A) = [┐(┐A∨B)∨C]∧(┐C∨A) = [(A∧┐B)∨C]∧(┐C∨A) = [(A∨C)∧(┐B∨C)]∧(┐C∨A) = (A∨C)∧(┐B∨C)∧(┐C∨A) = (A∨C)∧(A∨┐C)∧(┐B∨C) = [A∨(C∧┐C)]∧(┐B∨C) = (A∨?A)∧(┐B∨C) ∴ A∨?A = ?B 和 ┐B∨C = ?B 必须同时成立 由A∨?A = ?B,得出A必须=?B,即A有罪 。
    。

类似问题换一批

热点推荐

热度TOP

相关推荐
加载中...

热点搜索 换一换

教育/科学
哲学
院校信息
升学入学
理工学科
出国/留学
职业教育
人文学科
外语学习
学习帮助
K12
人文学科
哲学
管理学
传播学
考古学
伦理学
语言学
历史学
哲学
哲学
举报
举报原因(必选):
取消确定举报