高中语文人教统编版选择性必修 上册一 发现潜藏的逻辑谬误教课ppt课件

这是一份高中语文人教统编版选择性必修 上册一 发现潜藏的逻辑谬误教课ppt课件，共55页。PPT课件主要包含了根据联结词的不同划分，逻辑性质，否定肯定式，肯定肯定式，肯定否定式，表示条件的支命题，表示结果的支命题，肯定前件式，否定后件式，有效式等内容，欢迎下载使用。
重言蕴涵式和重言等值式
亦称“原子命题”。只能分析为不同的词项、不能分析为其他命题的命题。
（1）香山枫叶正红。（2）诸葛亮舌战群儒。（3）掷骰子4点朝上的概率是1/6。
包含其他命题(支命题)的命题，它是用一定的联结词联结其他命题而形成的。
（1）北京是中国的政治中心，并且是文化中心。（2）胜者或因其强，或因其指挥无误。（3）如果一个推理的前提真并且推理形式有效，则结论必真。
由“并且”这类联结词联结两个或多个支命题（联言支）形成的复合命题，它们是断定几种事物情况同时存在的命题。
只有它的各个支命题都是真的，它本身才是真的；如果有一个支命题为假，则联言命题为假。
如果分别肯定两个联言支，则可以肯定由这两个联言支组成的联言命题。
如果肯定一个联言命题，则可以分别肯定其中的每一个联言支。
p并且q所以，ｐ或者p并且q所以，q
如果否定一个联言支，则可以否定包涵这个联言支的联言命题。
并非p所以，并非（p且q）
只要有一个选言支为真，其为真；如果所有选言支都假，则为假。
必有且只有一个选言支为真；若有多个选言支同时为真(假)，则其为假。
如果肯定一个相容选言命题并且否定其中的一个选言支，则必须肯定其中的另一个选言支。
如果肯定一个选言支，则必须肯定包含这个选言支的任一选言命题。
不相容选言命题的有效式
如果否定一个不相容选言命题的一个选言支，则必须肯定它的另一个选言支。
要么p，要么q 或者 要么p，要么q非p 非q所以，q 所以，p
如果肯定一个不相容选言命题的一个选言支，则必须否定它的另一个选言支。
要么p，要么q 或者 要么p，要么q p q所以，非q 所以，非p
（1）判断一个选言命题究竟是相容的还是不相容的： 看各个选言支是否能够同时为真 能同时为真的，是相容选言命题；否则，是不相容选言命题。（2）判断一个选言命题的真假： 看各个选言支是否穷尽 如果一个选言命题穷尽了所有的选言支，则必真；假若选言支不穷尽，则有可能为假。
断定前件和后件之间的条件关系
只有在前件真后件假的情况下，此命题才是假的
充分条件假言命题的有效式
如果p，那么qp所以，q
如果p，那么q非q所以，非p
只有在前件假后件真的情况下，它才是假的
只有p，才q非p所以，非q
只有p，才qq所以，p
当前件和后件同真或同假时，它为真；在前后件不同真或者不同假时，它为假。
P当且仅当qp所以，q
P当且仅当q非p所以，非q
P当且仅当qq所以，p
P当且仅当q非q所以，非p
负命题的真值与原命题相反。
联言命题、选言命题、假言命题和负命题本身都可以被否定，否定后等值于另外的命题
例如 “或者”既可以在相容意义上用，也可以在不相容意义上使用
例如 联言命题除了表示各个支命题同时为真外，还表示并列，承接，递进关系等
为了表示符号间的结构关系，还需要一些辅助符号，如括号“（”，“）”
任一命题变项p，q，r，s等是真值形式
如果A是真值形式，则A是真值形式
如果A和B是真值形式，则A∧B，A∨B，AB，AB是真值形式
只有按以上方式形成的符号串是真值形式
p，q，r，p，q∧s，r∨s，pq，qs，((((p)∧q)r)(s∨q))
如：A，B，C，它们代表用对象语言表述的任一真值形式。A，B，C可以是上面的任一公式。
p ，q，r，s，，∧，∨，，
联结词的结合力按下述秩序递减：
真值形式是由命题变项使用真值联结词逐步生成的。
日常语言中复合命题的符号化
“如果主动坦白交代，则既往不咎。如果不主动坦白交代，则将严惩不逮。”
(pq)∧(pr)
一真值形式A是重言式，当且仅当，对于任一真值赋值，A恒取值为真。
一真值形式A是矛盾式，当且仅当，对于任一真值赋值，A恒取值为假。
一真值形式A是偶真式，当且仅当，对于某些真值赋值A取值为真，对于另一些真值赋值A取值为假。
pp，(p∧p)，p∨p
p∧p，(pq)∧(p∧q)
（1）程序的每一步都是由一套事先给定的规则明确规定好了的，该规则规定了第一步如何做，以及在某一步完成之后下一步又如何做；（2）该程序能够在有穷步内结束；（3）对于所判定的对象是否具有某性质，该程序给出唯一确定的结果。
（1）找出该公式中所有不同的命题变项，并竖行列出它们之间所有可能的真值组合。（2）按照该公式的生成次序，由简单到复杂横行列出该公式的所有子公式，直至该公式本身。（3）按照上面给定的真值联结词的真值表，由命题变项的真值逐步计算出各个子公式的真值，直至该公式本身的真值。
若假设A不是重言式，即可以为假，然后按照联结词的真值表，逐步逆推出其中各个子公式应该取的真值，直至逆推出其中所含的命题变项的真值，看能否在子公式或命题变项上导致矛盾的赋值：必须对同一个子公式或命题变项既指派真又指派假。 根据归谬法，从一个假设导致矛盾，而矛盾肯定不成立，因此原假设不成立，该公式不可能为假，恒为真，是重言式。
（1）写出所要判定的公式A；（2）在A的主联结词下写0；（3）按照联结词的真值表，由主联结词的真值逐步逆推出其中子公式的真值，在相应子公式下写1或者0，并按此办法依次进行下去。在一子公式下写1或者0，也就是在它的主联结词下写1或者0；如果这个公式是命题变项，则在该变项下写1或者0。（4）检查赋值中是否出现矛盾。若出现矛盾，为醒目起见，在互相矛盾的赋值下面置一短横线。这表明该公式不可能为假，必定是重言式。若未出现矛盾，则表明该公式可以为假，不是重言式。
((p∧q∧r)s)(s(p(qr)))
当不能根据待判定公式中的其他赋值确定A的赋值或B的赋值时，就需要考虑各种可能的选择，只有在每一种选择之下都导致赋值矛盾，该公式才是重言式；若在其中一种选择之下不导致赋值矛盾，则它可以为假，不是重言式。
（1）根据下列规则绘制一个倒置的树形图
（2）位于直线一端或直线之间的公式集称为“节点”。图中开端的节点称为“树根”。除树根外，每一节点都是从一个已有节点延伸出来的，并且以唯一的途径通向树根。在画图过程中，从树根到一个不再延伸的节点的通道，构成一个终止于该节点的“树枝”。（3）如果某个节点上的某个公式已经应用了一次画图规则，则称该公式“被用过了”，在该公式的末尾画一勾，下面画图时不必再考虑该公式。（4）如果一个树枝上同时含有一个公式和它的否定公式，则称该树枝是“封闭的”，并在其枝梢处画一个叉号。对已封闭的树枝不再应用画图规则。（5）如果每个树枝的末端已经是命题变项或命题变项的否定，不能再对该树枝上的任何公式使用任何画图规则，则称该树形图已经“终结”。 判定方法：
A是重言式，当且仅当，  A的树形图中每一个树枝都是封闭的。
一个推理由前提和结论两部分组成。可以用一个蕴涵式来表示该推理的形式，蕴涵式的前件是推理的各个前提的合取，其后件是推理的结论。如果一个推理形式只与联结词和复合命题相关，而不涉及各种非命题成分，如主词、谓词、系词、量词；或个体词、谓词等等，那么，该推理形式是有效的，当且仅当，相应的蕴涵式是重言式。
命题逻辑中的形式推演是一个有穷长的公式序列(Γ)，序列中的每一项(A1,A2,…An)或者是给定的前提，或者是从序列中前面的公式，根据给定的规则(PN推演规则)得到的公式，序列的末尾是该推演(PN推演)的结论。如果序列末尾的公式是从空前提(Γ=φ)得到的，则称该公式是命题逻辑的定理，此推演是关于该定理的一个证明。
A∧B├A；A∧B├B
2.合取引入规则∧ ＋
A∨B，AC，BC├C
4.析取引入规则∨ ＋
A├A∨B；B├A∨B
若Γ，A├B，则Γ├AB
AB├AB；AB├BA
AB，BA├AB
若Γ，A├B，B，则Γ├A
10.否定引入规则＋
若Γ，A├B，B，则Γ├A
若Ai∈Γ，则Γ├ Ai
∨＋，∨－，∧＋，∧－， －，＋，－，∈
在原有前提之下进行的推演
先在原有前提下引入某个假设，最后推出了不依赖于该假设、只依赖原有前提的结论
（1）分行列出所有给定的前提，并在右边标明它们是前提。（2）如果要引入假设，一开始就引入所有假设，并在右边标明它们是假设。（3）每列出一个假设，就把它向上一个公式的右边推移一个空格。（4）之后每列出一个公式，就在其右边注明它是从上面哪些公式使用什么推理规则得到的。（5）在一假设下根据∨＋，∨－，∧＋，∧－， －，＋，－和∈得到的公式，都与该假设对齐，表示它们全都依赖于该假设和它前面的假设。（6）如果一个公式是通过使用＋，－，＋得到的，则让它“进位”，即与它上面的倒数第二个假设对齐，表示它不依赖于它上面的倒数第一个假设，该假设及其下面的公式都被解除了。（7）我们在一推演的右边画一垂直线，表示该推演的起讫，并在该垂直线的顶端置一小圆圈，表示右边的公式是假设。 如果该推演的最末一个公式B是从某个假设A推出的，则称该推演是从假设A到结论B的一个推演。
如果在有限长的线段L上有无穷多个点的话，那么，如果这些点都有长度，则L将无限长；如果这些点都没有长度，则L将没有长度。而一个有限长的线段不可能无限长，也不可能没有长度。因此，在有限长的线段上不可能有无穷多个点。
A(BC)∧( BD)，  C∧  D/∴  A
如果一个PN推演的最末一个公式B不依赖于任何假设,则称B为PN的定理，该推演是关于公式B的一个证明。