关于假言判断的联项和符号化问题

假言判断是断定某一事物情况是另一事物情况的条件的复合判断。目前我国逻辑学界一般认为,根据假言判断的前件对后件的条件关系的性质不同,划分为充分条件的、必要条件的和必充条件的三类。它们的逻辑形式的结构公式相应是“如果P,那么q”、“只有P,才q”和“当,且仅当P,才q”。这些公式是否十分合适,它们的逻辑联项是否十分恰当,笔者觉得有再研究的必要。形式逻辑和数理辑逻不同,不能,也不应完全符号化(用符号语言)而应当在吸收数理逻辑有益营养的同时,保持其自己的特点——力求和自然语言更接     

锻工颂

呼,呼,呼——似战歌震长空,三吨锤纵情欢唱,曲曲颂锻工。出炉钢料似长虹,摇头摆尾飞火龙。炉火熊熊汗水流,钢花飞溅心更红。铁打汉子气如虹,锤锤迸出共产主义火星。敢和时间争输赢,八月中就飞往明年征程。