A Discussion on Soundness,Completeness and Consistency in Logic for Mathematicians
Wang Diji · Journal of Xingjiang Normal University · 2004
In thes paper,firstly some respresentative problems in propositional logic and first-order logic by applying the theories of soundness and completeness are solved, and the roles which the set of maximal consistency plays in establishing the proofs of the aboe two theories are demorstrated