逻辑学题目
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有罪
。
。
[展开]