1. It has its origins in formal logic, and owes much to the writings of Aristotle and Frege.

2. Formal logic is applied to proving correctness properties of programs in Chapter 8.

3. The application of formal logic is a foundation. The special logic of law is developed basing on the application of formal logic in law and the special context through using modern logical method.

4. While demonstration is the thinking manner of formal logic, argumentation is that of informal logic.

5. The development of formal logic and its implementation in computing machinery is fundamental to computer science.

6. Formal logic allows you to check logical claim without considering what the claim means.

6. is a sentence dictionary, on which you can find nice sentences for a large number of words.

7. It is not uncommon to find in the journals detailed use of formal logic to discuss the Trinity, for example.

8. Then Mojing started to use metalanguage to express their logic theories and the basic laws of formal logic.

9. His analyses and interpretations of I Ching were also much of formal logic.

10. This paper aims at giving a new analysis on the philosophical proposition of "white horse is non-horse" from a new angle and by using law of identity, which is one of the three laws for formal logic.

11. You arrived at your conclusion using the methods of formal logic.

12. An all-around view of legal logic is put forward. Legal logic should contain the application of formal logic in law and the special logic of law.