命题逻辑(联言、选言、负命题).pptVIP

命题逻辑第一节命题逻辑概述命题是通过语句来反映事物情况的思维形态。例如如果我有一双翅膀，我就从天上飞下来看你。一切事物都是发展变化的。四边形具有稳固性命题的主要特征：命题有真假符合实际的命题是真命题，不符合实际的命题是假命题。任何命题都是通过语句来表达的，但语句和命题并非一一对应：

首先，有的语句不能直接表达命题。其次，同一命题可以用不同的语句来表达，如：“所有的鸟。此外，同一命题可用不同的民族语言的语句来表达。再次，同一语句，可以表达不同的命题。STEP4STEP3STEP2STEP1判断：就是被断定者断定了的命题。判断的主要特征：有所断定。一个命题是否能成为判断，与断定者的知识、立场等有关。如：“杜甫是伟大的诗人”能否被断定就与断定者的知识水平有很大关系。充分假言命题被断定是前后件的关系，而不是支命题。。将联结词所联结的命题作为一个完整的单位来看待——研究关于联结词的推理(命题逻辑)深入到命题内部，把命题分析为主项、谓项、量项和联项——研究关于量项和联项的推理(传统词项逻辑)深入到命题内部，把命题分析为个体词、谓词、量词及联结词——研究关于量词的推理(现代谓词逻辑)把命题中包含的模态词分析出来——研究关于模态词的推理(模态逻辑)单击此处添加正文，文字是您思想的提炼，为了演示发布的良好效果，请言简意赅地阐述您的观点。您的内容已经简明扼要，字字珠玑，但信息却千丝万缕、错综复杂，需要用更多的文字来表述；但请您尽可能提炼思想的精髓，否则容易造成观者的阅读压力，适得其反。正如我们都希望改变世界，希望给别人带去光明，但更多时候我们只需要播下一颗种子，自然有微风吹拂，雨露滋养。恰如其分地表达观点，往往事半功倍。当您的内容到达这个限度时，或许已经不纯粹作用于演示，极大可能运用于阅读领域；无论是传播观点、知识分享还是汇报工作，内容的详尽固然重要，但请一定注意信息框架的清晰，这样才能使内容层次分明，页面简洁易读。如果您的内容确实非常重要又难以精简，也请使用分段处理，对内容进行简单的梳理和提炼，这样会使逻辑框架相对清晰。为了能让您有更直观的字数感受，并进一步方便使用，我们设置了文本的最大限度，当您输入的文字到这里时，已濒临页面容纳内容的上限，若还有更多内容，请酌情缩小字号，但我们不建议您的文本字号小于14磅，请您务必注意。单击此处添加正文，文字是您思想的提炼，为了演示发布的良好效果，请言简意赅地阐述您的观点。您的内容已经简明扼要，字字珠玑，但信息却千丝万缕、错综复杂，需要用更多的文字来表述；但请您尽可能提炼思想的精髓，否则容易造成观者的阅读压力，适得其反。正如我们都希望改变世界，希望给别人带去光明，但更多时候我们只需要播下一颗种子，自然有微风吹拂，雨露滋养。恰如其分地表达观点，往往事半功倍。当您的内容到达这个限度时，或许已经不纯粹作用于演示，极大可能运用于阅读领域；无论是传播观点、知识分享还是汇报工作，内容的详尽固然重要，但请一定注意信息框架的清晰，这样才能使内容层次分明，页面简洁易读。如果您的内容确实非常重要又难以精简，也请使用分段处理，对内容进行简单的梳理和提炼，这样会使逻辑框架相对清晰。定义：断定事物之间具有充分必要条件关系的假言判断就是充分必要假言命题逻辑形式：P当且仅当q语言表达形式：“如果……那么……并且只要……才……”“只有并且仅仅如此，才……”等。前件于后件的真假关系？规则：肯定前件就要肯定后件，否定后件就要否定前件否定前件就要否定后件，肯定后件就要肯定前件推理蕴涵式为：（p?q）∧p→q（p?q）∧q→p（p?q）∧?p→?q（p?q）∧?q→?p某甲犯了罪当且仅当某甲应受刑罚处罚；某甲是案犯当且仅当某乙是案犯；STEP3STEP2STEP1联言命题是由联言联结词(如“并且”)联结支命题而形成的复合命题，又称合取命题。例如：小芳美丽又大方（2）这样建立的逻辑系统既有可靠性，又有完全性。联言命题的形式：p并且q（p∧q）。FFTFFTTTp∧qqpTFFF从上表可以得出联言命题的逻辑性质：当p、q同时为真时，p∧q才为真；只要p、q其中一个为假，则p∧q为假。由∧的真值表,可得出∧运算的规律:01∧的交换律：p∧q?q∧p02∧的结合律：p∧(q∧r)?(p∧q)∧r03∧的重言（幂等）律：p∧p?p0401合取引入规则（∧+）：从A和B可推出A∧B。图示如下：02A03B04——05A∧B06合取消去规则（∧-）：从A∧B可推出A，从A∧B可推出B。07图示如下：08A∧B