您好，我是提问逻辑学的人，想继续请教您。因为我们学的是选修课，所
因为我们学的是选修课，所以并没有到?B ?A这些符号，我想请问这个题目能不能用一些命题演算的公理和定理推导出来呢？像德摩根律和蕴涵定义之类的方法，谢谢了
【公理没有用，这里用的就是命题演算的自然演绎模式。德摩根律和蕴涵的定义都是用了的。“?B”是“真”，“?A”是“假”的标准写法，也可以写成1，0，T，F】 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) （1） [┐(┐A∨B)∨C]∧(┐C∨A)【蕴涵的定义：α→β定义为“是α而不是β是不行的”，即┐(α∧┐β)，再用德摩根律就是┐α∨β】 （2） [(A∧┐B)∨C]∧(┐C∨A) （3） [(A∨C)∧(┐B∨C)]∧(┐C∨A)【合取对析取的分配律】 （4） (A∨C)∧(┐B∨C)∧(┐C∨A) （5） (A∨C)∧(A∨┐C)∧(┐B∨C)【交换律】 （6） [A∨(C∧┐C)]∧(┐B∨C)【分配律】 （7） (A∨?A)∧(┐B∨C)【C∧┐C是矛盾式，恒假】 ∴ A∨?A = ?B 和 ┐B∨C = ?B 必须同时成立 由A∨?A = ?B，得出A必须=?B，即A有罪 【一个析取式的一枝为假，要整个式子为真，另一枝就只能为真。此外┐B∨C = ?B 只能得出B无罪或者C有罪取其一即可，结论不确定，】