Atomic Proposition and 1-Order Predicate Function for Dialectical Logic

  •  Yaozhi Jiang    


This paper has completed main fields of making dialectical logic pure mathematically, it is involved both atomic proposition and 1-order predicate function for dialectical logic, and by state-dual, true-valued function vector, state-contradiction law into basic logic law. In addition, also defines true-valued function for logic operators so that more easy to represent atomic proposition. Some examples are given and shown that Boolean algebra, as a special case of dialectical logic, is how to operate hybridize-able with dialectical logic.

This work is licensed under a Creative Commons Attribution 4.0 License.