Two Independences and Two Dependences——A Review of the Paper of An Analysis of the Metalogic Thinking of Entailment Logic
Sheng Zuo-guo · Journal of Guiyang University · 2008
Regulative relationship is the genuine relationship of sufficient condition which includes two independences.As the base of discrete mathematics,orthodox mathematical logic does not research actually the genuine relationship of sufficient condition.Material implication,worked as one kind of two-value function,which comprises two dependences,is not the logistic abstract of relationship of sufficient condition.Even though the if,then,which used as a logic instrument in orthodox mathematical logic,is really the regulative relationship consists of two independences,not the material implication.