Who is the murderer of the WeChat reasoning master game "Comedy"?

This is Li Renqing, Li Dongqiang ten years ago. The killer game is an intellectual and spiritual game. Inference expert game, under the secret introduction of six people:

(1) When adding new propositions, there is no need to examine the compatibility between the source and the original knowledge of the system, because these new propositions can only be the result of logical reasoning with existing knowledge and cannot cause contradictions. In other words, the new proposition added must always be true.

(2) There is no need to memorize the derivation process. Because the conclusion of derivation will never fail, there is no need to review the derivation process afterwards.

Extended data

inference method

1, three-stage deduction method: based on two property judgments related to a concept, another property judgment is derived and a conclusion is drawn.

2. Joint decomposition method: A thinking reasoning method in the form of joint reasoning is derived from the truth value of joint judgment.

3. Chain deduction method: In a proof process or a complicated reasoning process, the conclusion of the previous reasoning is taken as the premise of the latter reasoning, and it is deduced step by step until the required conclusion is deduced.

4. Comprehensive induction: an inference method that summarizes a general conclusion on the premise of a large number of individual knowledge.

5. Refutation of absurdity: from the absurd conclusion of a proposition, demonstrate its untenable thinking method. Divided into: tough guy school, social school, suspense school, case school, change school.

Baidu encyclopedia-master of reasoning