The Characterization of the Truth Functions Associated with Formulas Generated by One or Two Atoms Based on Gdel System
Qin Gao · Mohu xitong yu shuxue · 2007
In this paper we give a characterization of the truth functions associated with formulas generated by one or two atoms based on Gdel system.Furthermore,the detailed classifications of F(p),F(p,q) are provided.