Research on Immediate Inference of Compound Proposition Reasoning System from the Perspective of Cubic Logical Square
The theory of logical square matrix has been explored by many scholars,and it has changed from plane logical square matrix to cubic logical square matrix.The cubic logical square matrix expresses the true-false constraint relation between the conjunctive proposition A∧B、inclusive disjunctive proposition A∨B、sufficient condition hypothetical proposition A→B、necessary and sufficient condition hypothetical proposition A←B and its dissimilation form,which contains two independent variables A and B,the direct inference of compound proposition system can be deduced from this perspective.
Cubic Logical SquareTrue-false Constraint RelationImmediate InferenceInference of Compound Proposition
万方数据
维普
