命题逻辑讲真不讲假

发布时间：2018-05-12 05:56

  本文选题：命题逻辑 + 负命题　； 参考：《山东师大学报(社会科学版)》1999年03期

【摘要】：命题逻辑以复合命题及其推理为主要内容，命题推理是以相应复合命题的逻辑性质为依据而推演的，复合命题的逻辑性质主要体现在命题与支命题之间的真假制约关系方面，因此，，研究命题与支命题的真假关系是命题逻辑的基本内容。应当指出，逻辑学所揭示的全部关于复合命题的真...
[Abstract]:The main contents of propositional logic are compound propositions and their reasoning. Propositional reasoning is based on the logical properties of corresponding compound propositions. The logical properties of compound propositions are mainly embodied in the relationship between truth and falsity between propositions and propositions. Therefore, it is the basic content of propositional logic to study the relationship between propositions and branch propositions. It should be pointed out that logic reveals all the truth about compound propositions.
【分类号】：B812.22

【相似文献】

相关期刊论文 前10条

1 何应灿;真值表的判定方法[J];思维与智慧;1982年06期

2 左卫兵;;一种非均匀概率空间下二值命题逻辑中命题的真度理论[J];河北师范大学学报(自然科学版);2008年01期

3 陈洪波;;浅谈中学数学中简易逻辑教学[J];黑龙江史志;2008年17期

4 金樊;;推理有效性的判定方法及其特点比较——以命题逻辑为例[J];长春工程学院学报(社会科学版);2010年02期

5 王学;论斯多葛学派的命题逻辑[J];松辽学刊(人文社会科学版);1994年02期

6 王国俊;宋建社;;命题逻辑中的程度化方法[J];电子学报;2006年02期

7 丁后银;;如何讲解“普通语言学”中的“Propositional Logic”[J];长春理工大学学报(社会科学版);2009年01期

8 姚从军;;古典命题逻辑与模态命题逻辑的形式系统之比较[J];毕节学院学报;2009年10期

9 陈志美,胡泽洪;斯多葛学派的命题逻辑系统及其不完全性[J];华南师范大学学报(社会科学版);2001年01期

10 张清宇;关于系统Z的一些意见[J];武汉大学学报(人文科学版);1993年05期

相关会议论文 前10条

1 徐扬;;格值命题逻辑公式及其L真(假)性[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

2 张清宇;;古典命题逻辑的证伪系统[A];1996年逻辑研究专辑[C];1996年

3 李丹菁;陶振麟;;在预测控制中使用命题逻辑及其应用[A];2001中国控制与决策学术年会论文集[C];2001年

4 刘社军;;命题逻辑之判定层次及其判定方法[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

5 李娜;;我讲《数理逻辑》课程的方法[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

6 陈国勋;陈斌;;F-时态命题逻辑中的归结原理[A];模糊数学和系统成果会论文集[C];1991年

7 夏梦;;逻辑真理的特点[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

8 孙炳哲;;《肇论》对时空真假的认识——以《物不迁论》与《不真空论》为中心的探讨[A];诠释与建构——汤一介先生75周年华诞暨从教50周年纪念文集[C];2001年

9 陆秋君;吴望名;;Post代数的Fuzzy滤子和Fuzzy同余[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

10 刘壮虎;;相干逻辑的邻域语义学[A];1995年逻辑研究专辑[C];1995年

相关重要报纸文章 前10条

1 佟芳;首届生命基因高峰论坛举行[N];科技日报;2009年

2 佟佳芳;奋斗攻关四十载 自主创新结硕果[N];科技日报;2009年

3 高南生（作者单位：秦安县教师进修学校）;中学数学学习指南[N];甘肃日报;2005年

4 华南师范大学政治与行政学院 胡泽洪;哲学逻辑的发展趋势及其对我们的启示[N];光明日报;2008年

5 陈波;逻辑学与理性精神[N];光明日报;2003年

6 贾春华 王永炎;“方证论治系统”原理论思考[N];中国中医药报;2006年

7 中国科学院计算技术研究所 常亮邋史忠植;语义Web的逻辑基础[N];计算机世界;2007年

8 哲科;哲学所举办第二届青年学术论坛[N];中国社会科学院院报;2008年

9 沈跃春;繁荣和发展逻辑科学[N];安徽日报;2007年

10 林圭;固有不然必无不至[N];人民日报海外版;2001年

相关博士学位论文 前10条

1 王伟;格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年

2 贾春华;基于命题逻辑的《伤寒论》方证理论体系研究[D];北京中医药大学;2006年

3 吴瑕;基于扩展规则的定理证明的研究[D];吉林大学;2006年

4 殷明浩;自动推理和智能规划中若干问题研究[D];吉林大学;2008年

5 吕进;基于时间和行动规划的知识—意图逻辑[D];西南大学;2008年

6 郭远华;若干逻辑自动推理方法研究[D];华东师范大学;2010年

7 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年

8 胡斌;可信的自治式服务协同系统验证[D];浙江大学;2009年

9 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年

10 田忠锋;形式逻辑前提批判[D];吉林大学;2008年

相关硕士学位论文 前10条

1 黄拙;一阶逻辑模型搜索问题研究[D];中国科学院研究生院（软件研究所）;2004年

2 李彩红;命题逻辑中广义MP问题的合理解及新型反向三I算法[D];兰州理工大学;2011年

3 邓富喜;n值S-MTL命题逻辑系统中的近似推理理论及三I算法的还原性[D];兰州理工大学;2011年

4 黄冲;组合优化中的命题逻辑[D];华中科技大学;2011年

5 刘加昆;转折句“p∧q”的逻辑分析[D];广西师范大学;2007年

6 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年

7 姚从军;古典命题逻辑与模态命题逻辑[D];河南大学;2005年

8 孟艳平;扰动模糊命题逻辑系统的语义[D];辽宁师范大学;2005年

9 李晟;命题逻辑公理系统内定理证明的技巧和方法研究[D];燕山大学;2012年

10 于丹;“反正”的多角度研究[D];吉林大学;2007年

本文编号：1877403