The result of data reasoning, together with the result of logical inference, literature induction and intention survey demonstrates that the model is scientific reasonable and reflecting the realistic meaning.

This paper studies Petri net models for the clause logic rules and applies the Petri net analysis method to the logical inference. Introducing the four-valued logic and the conflict transition concept, the Petri net model of non-Horn clauses can be construe! ed and the inference problem of clauses can be solved using the Tinvariant method.

Beauty, Appreciation of the Beautiful, and Historical Science of Aesthetics——A Logical Deduction Based on the Intersection of Aesthetics and Historical Science with Main Focus on the Development of the Latter

Based on the theory of Neo-historiography, culture analysis, social psychology and the results from the "Shanghai Study", this paper intends to build up the logical deduction on the description of this particular historical environment.

The paper distinguishes the two styles from five aspects:"random discussion" and "affairs comment", "thoughts" and "judgment", "indirect speech" and "direct speech","critical" and "constructive","image exposition" and "logical deduction".

Introducing the equivalence between interpretations and the equivalence between assignments with respect to a set of formulas, it is proved that the system is sound, that is, in a proof, the conclusion is a logical consequence of the premises.

Third, the argument that social finance exist after extinguishment of a country, that is, in a communist society was deducted by analyzing some basic theory about individual and society, individual and nature while at the same time learning from public administration.

The result of intention survey reasoning together with the result of logical reason, literature induction and survey demonstrates that the model is scientific reasonable and reflecting the realistic meaning.

The ruling position of the proletarian party in current constitution is that the science communism theories have the history materialism meaning logic reasoning in the socialism constitutional government of the national stage.

Marx and Engels's view of the formation of communist society came both from scientific inference of general law of history and from scientific logical reasoning of the law of evolution of capitalist productive means and from scientific summerization of the experience of proletarian revolutionary practice.

Then, based on matrix expression, the logical operators are extended to multi-valued logic, which provides a foundation for fuzzy logical inference.

This paper argues, however, that the balancing of normative arguments consists of an act of judgement, not a logical inference, and that models of deductive as well as of defeasible reasoning do not give an adequate account of its structure.

The system allows easy input of mathematical expressions, application of standard proof strategies and logical inference rules, application of mathematical rules, and verification of logical inference.

A logical inference procedure called the relative entropy method with fractile constraints (REF) is formulated within this framework and extended to solve the regional physical-modelling problem.

Imperative programs can be inverted directly from their forward-directed program code with the use of logical inference.

Method of invariant transformations and logical deduction

The key is to generalize the linear programming dual used in the classical method to an ``inference dual.'' Solution of the inference dual takes the form of a logical deduction that yields Benders cuts.

The only logical deduction is that pruritus ani remains "idiopathic" at least as far as we are concerned after making this study.

Through analysis of successful student responses, we show how dynamic software tools can not only scaffold the solution process but also help students move from argumentation to logical deduction.

It allows a great degree of expressiveness and is suitable for extensive logical deduction.

The possibility of this fragmentation process is a logical consequence of the concept of a dinuclear system for the complete fusion of nuclei.

It is therefore a logical consequence to investigate the use of ICDs for primary prevention of sudden death in different patient groups; such studies are currently ongoing, others have been terminated and published.

The emergence of two essentially different techniques, the 'normal phase' and 'reversed phase' modes, will appear as a logical consequence of simplified theory.

The emergence of two essentially different techniques, the 'normal phase' and 'reversed phase' modes, will appear as a logical consequence of simplified theory.

The same theory is shown to contain an exact gravitational radiation equation derived as a logical consequence of field equations without extra postulates.

In this paper a complete axiomatic system of classical mechanics has been constituted according to D'Alember's and Hilbert'sp roposition.By use of the theory of non-standard analysis,it has been proved that Newton's Second Law,Third Law,Law of independence of the actions of forces and all the theorems and formulas of classical mechanics are only the logic corol- laries of this axiomatic system.

This paper consists of three parts. In the first part, based upon the lastest experimental progress and achievements of theoretical thinking in modern physics, the four postulates about the properties of space-time which are different from special relativity are presented and used as the fundamental postulates to establish the standard spacetime theory. The space-time coordinates transformation between a general inertial frame of reference and the standard inertial frame of reference, i. e. Generalized Galilean...

This paper consists of three parts. In the first part, based upon the lastest experimental progress and achievements of theoretical thinking in modern physics, the four postulates about the properties of space-time which are different from special relativity are presented and used as the fundamental postulates to establish the standard spacetime theory. The space-time coordinates transformation between a general inertial frame of reference and the standard inertial frame of reference, i. e. Generalized Galilean Transformation (GGT), is derived strictly from the above four postulates.In the second part kinematical formulas of subluminal and superluminal particle about transformation of velocities, length contraction, time dilation and interval between two events are found out from GGT. These results indicate that FitzGerald-Lorentz contraction hypothesis and Larmor-Lorentz dilation hypothesis are a part of logic inference of the above four postulates and included in the standard spacetime theory. The third part deals with the dynamical problems of subluminal and superluminal particle in the light of the standard spacetime theory. The mass of a moving particle and the effect of mass increase are discussed in detail. The dynamical equation of the standard spacetime theory is set up and the mass-energy relation is obtained. And the transformations of mass, momentum, energy and force are also given.

Based on her experience in Higher mathematics teaching, the author states her viewpoints concerning how to decide on the focal points in the textbook, how to stimulate the students' conscientiousness in Learning, how to tackle new problems based on the students' present knowledge, as well as how to combine the training of calculating strategies with up-to-date medium.