早教吧 育儿知识 作业答案 考试题库 百科 知识分享

A→CB→CA∨B——C如果全部用逻辑符号表示的话就是:((A→C)∧(B→C)∧(A∨B))→C用文字来描述的话就是,如果A真那么C真,如果B真那么C真,要么是A要么是B,所以无论怎样都是C真.

题目详情
A→C B→C A∨B —— C 如果全部用逻辑符号表示的话就是:((A→C)∧(B→C)∧(A∨B))→C 用文字来描述的话就是,如果A真那么C真,如果B真那么C真,要么是A要么是B,所以无论怎样都是C真.是什么推理?
▼优质解答
答案和解析
二难推理:
  先将所有可能的情形(在此只有两种)列出来;然后从每种情形中引申出同一个结论;由此推断该结论必然成立.