分类：电脑/网络-互联网-上网帮助
问题：您好，我是提问逻辑学的人，想继续请教您。因为我们学的是选修课，所 
因为我们学的是选修课，所以并没有到?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有罪取其一即可，结论不确定，】