逻辑学术语 与必然条件相对是什么

逻辑学术语 与必然条件相对是什么

这个我不了解，还是问问别人吧

林邦谨在深入分析人类普通的逻辑思维实际的基础上，运用数理逻辑的演算技巧，提出了命题演算 cm 系统和名词演算 cn 系统。 cm 中的“制约”命题夕 p → q 跟 p 和 q 的真假共有七种， p → q 也获得三真四假的纪录。这，点与莱维斯 (lewis) 的严格蕴涵一致。但 cm 跟莱维斯的模态系统是有区别的。 cm 系统有以下主要特征： (1) 在 cm 中，所谓“必然”，并非某二命题的性质，而只能是两个命题间的联系。 p → q 表示 p 和 q 之间有某种 " 必然 "联系。 (2) 除了为一般模态系统所避免的象 p → (q → p) 等著各的蕴涵怪论以外， cm 还避免了象 t p → q 这一类最难避免因而为一般模态系统所容纳的蕴涵怪论。 (3) 跟一般模态系统不同， cn有象 [p → (q → r)] → [q → (p → r)] 这一类公式。 (4) 相当于在一般形式逻辑书中列出的传统命题逻辑推理式的定理它都具有。 (5) 没有象 t (pvq)—>q 这一类公式。 (6) 凡是在传统形式逻辑中看起来好像是用了相当于被 cｍ排除了的二值系统中的定理的地方， cm 都有很好的处理方法。　在ｃｍ系统的基础之上建立的 cｎ系统，只是扩充形式语言（引八个体变元、函数词和谓词），而不用量词。这样不仅在技巧上可避免拿有量词的形式系统所不可避免的许多麻烦，使演算的进程原则上是命题演算，而且更接近于普通逻辑思维实际。同时， cｎ系统将对解决判定问题提供明朗的前景。 我们可以说逻辑学是研究思维、思维的规定和规律的科学。但是只有思维本身才构成使得理念成为逻辑的理念的普遍规定性或要素。理念并不是形式的思维，而是思维的特有规定和规律自身发展而成的全体，这些规定和规律，乃是思维自身给予的，决不是已经存在于外面的现成的事物。 逻辑学有什么用。爱因斯坦问他：”两个人从烟囱 里爬出去， 一个满脸烟灰，一个干干净净，你认为哪一个该去洗澡？””当然 是脏的那个。”学 生说”不对。脏的那个看见对方干干净净，以为自己也不会脏， 哪里会去洗澡？” ”你擦谁的靴” 有一天，一位外国使者看见林肯在擦自己的靴子，非常吃惊的赞扬道：”啊 ，总统先 生，您真伟大！您经常擦自己的靴子吗？”是呀，”林肯答道：”那么 你是擦谁的靴子呢？” 蜘蛛与广告 马克?吐温在美国的密苏里州办报时，有一次，一 位读者在他的报纸中发现了一只蜘 蛛，便写信询问马克? 吐温，看是否是吉兆或凶兆。马克?吐温回信道——“亲 爱的 先生，您在报纸里发现一只蜘蛛，这既不是吉兆，也 不是凶兆。这只蜘蛛只不过是想 在报纸上看看哪家商人未 作广告，好到他家里去结网，过安静日子罢了。” 无畏的遗憾 美国独立战争时期的英雄内森．海尔被英军抓住，判处死刑．在临前， 英军执刑人问 他有什么说的，海尔想了想说－－－”我真遗憾，我只能 为国家献出一次生命．” 别致的求婚 日本电影明星柴田恭兵十分爱恋一位姑娘，但不知说什么好．有一天他 终于鼓足勇 气，对姑娘说：”不知您愿不愿意和我一起变成老公公，老婆婆？” 姑娘听后，忍不 住笑了，接着又羞答答地点点头．