are the methods of judging(or proving) tautology in propositional calculus of mathematical logic,but not that of judging inference formula in traditional propositional logic.

Itintroduces function of CAPP in the process planning, the stage of CAPP development, thenanalyzed the inference mode of ES.

An approach that coupling Zhejiang rational formula and step-shaped formula of rainstorm improves the traditional interative solution method.

Pattern Reasoning is a high valuable subject.

Zhang Bao Sheng emphasizes the importance of legal reasoning in legalism of China, on the basis of which the authors further point out that at present we should base ourselves on formal inference and regard material reasoning as auxiliary.

The Relevance theory mainly develops Grice s Conversational Implicature theory in the following aspects:inference model,new view of context and explanation of traditional rhetorical devices.

With the development of pragmatics, the emphasis of comprehension gradually shifts to the inference process -- Grice s inference model being the representative of this trend.

Hypothetical plus disjunctive inference takes hypothetical proposition and disjunctive proposition as its premises, out which 12 inference models may be produced.