As the workflow technology will separate the application logic and process logic of the work flow and can change the system function by changing the process model under the basis of not changing the specific functional implementation,thus the integrated management of work flow process can be entirely or partially achieved.

Application logic layer was established in lower layer frame, function module was described with metadata file.

The application logic of the investigation hypothesis includes the following: analyzing whether the investigation hypothesis is reasonable, whether the deduction is enough, whether the confirmation or the falsification have sufficient reasons, and so on.

Their opinions concern formal logic theory, applied logic theory and jurisprudential theory.

By means of the language of mathematical logic the invariance of Hamilton principle under canonical transformation is expressed and proved.

In the fields of mathematical logic and computer science this system is applied to the medium modal logic and the base of MILL,a medium language of program.

Proposition logic takes the proposition as the fundamental research object mathematization logical system,propo- sition logic is the mathematical logic foundation,also is the theoretical basic of computer science and the technical.

Metamathematics is a subject on symbolic logic,which focuses on the mathematics discrepancy.

By illustrating logical reference,natural language formalization,mathematics proposition formalization and dynamic system behaviour,the paper presents the methods of knowledge representation and concrete examples in symbolic logic.

Zheng s researched on Zeng Marquis Bell was a good example of for researching the music cultural relic from the viewpoint of symbolic logic,therefore,it was also an excellent instance to use the symbolic logic to the archeology.