假言判断形式化问题初探

问题的由来假言判断是一种复合判断,它是由两个有依赖关系的直言判断构成的。传统逻辑中常以“如果 p,那么 q”作为它的通式。这种判断形式是用来反映客观事物之间的因果关系、理由与推断的关系、条件关系以及蕴涵关系的思维形式。正确地运用和分析这种思维形式的特点,对于人们在社会实践、生产斗争和科学实验过程中,恰当阐明和精确理解客观事物之间所存在的某种联系是有帮助的。客观世界事物之间、现象之间的关系是错综复杂的。