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.
关键词
立体逻辑方阵/真假制约关系/直接推理/复合命题推理
Key words
Cubic Logical Square/True-false Constraint Relation/Immediate Inference/Inference of Compound Proposition
维普
万方数据