2015离散数学蕴含与推理ppt课件

定义1-5.3的等式、1、隐含、pq为中言时才称为p包含q，定义1-8.1集a和c的pq，仅当AC为一个格言时才定义c为a的有效结论或者，c可以在逻辑上由a发布。1-8.2表示H1、H2、将Hm和c定义为命题公式，H1 H2.对于Hmc，c是前提条件h1、H2、定义为hm的有效结论集。2，1 . p q PP q 2 . p，p q 3。p，p，q，q4。q，p，q P5 . p . q，qrt6.pq，pq，QR，3，h1 H2.证明HMC的方法，真值表方法：(1)假设a等于t，则说明b也是t。(2)假设b为f，则说明a也为f。示例：p (pq) q，4，h1 H2.证明HMC的方法，1 .pqpp QQ 2.p，p QQ 3。p，p，q，q4。q，p，q，p 5 . p . p，q，qrt6.pq，pq，QR，直接作证：p规则：前提条件中随时可以参考。(premise)T规则：如果在派生中存在一个或多个包含公式s的公式，则可以将公式s导入到派生中。5，卡：(pr) (QR) (pq) r证明：(1) PRP (2) qrp (3) pqp (4) pqt (3) e (5).如何证明HMC，间接证言：h1 H2.HMC机a=h1.要证明hm，Ac，AC是交互式的，AC是矛盾的。h1 H2.HMC是矛盾的。1)用反证法证明矛盾即可。(1)反证据法，8，如卡：sq、Sr、r、pqp证明： (1) PP(附加前提)(2)SRP(3)RP(4)ssp.如何证明HMC，间接证言：H1 H2.hmrc机a=h1 H2.要证明hm，即A(R)C，a (RC)是交互式的，a (RC)是交互式的。(ar) c是交互式的。(ar) c是h1 H2.证明hmrcr为附加前提，通过直接认证获得c即可。(2)CP规则，10，例如ABCD，defaf表示：是CP规则(1)AP(附加前提条件)(2) abt (1) i3 (3) abcdp (4)如果西亚是科学学生，就应该学微积分，如果不是文科学生，就应该是科学学生，因为他没有学微积分，所以2。所有人都会死，苏格拉特是人，所以苏格拉特会死。12、logic puzzles、thereisnslandthat hasotwkindsofinhabitants、knights、whoalwaystellthetruth、andtheiroppositeswhoalwayslie。youencounertwopeopleandbifasays biansk night andb says thetwofusareppositetypes 一个岛上住着两种人。骑士和流氓。司机说实话，流氓只会说谎。我见了两个人a和b，a说“b是骑士”，b说“我们不是一类人”。请判断a，b到底是流氓还是骑士。其他情况：a表示：“我们中至少有一个是流氓。”b什么都没说。a说：“我们是流氓，或者b是骑士。”b什么也没说。a表示：“我们都是流氓。”b什么都没说。、2020/5/27、13、muddychildreduzzle、2。afatherellshistwochildren、aboyandagirl、toplayintheirbackyardwithout getingdity . how ever、while playing、Both childres andthenasksthechildrentoanswer yes or no to the question : doyouknowdaymuddyorehead？ thefatheraskshisquaestiontwist . whatwill thechildrenanswerreachtimethis squaestionisasked，assumingthachildcagensewheitheithedassumet hat both children arehonestandthat thechildrenanswer questionsimultaneously .2020/5/27、14、mudberghildreinpuzzle、2。爸爸不让两个孩子(一个男孩，一个女孩)在后院玩耍，弄脏身体。但是，玩的时候，两个孩子都把泥巴埋在了额头上。孩子们回来后，爸爸说：“你们至少有一个人额头上有泥。”然后，两个孩子说：“你知道额头上有泥吗？他问我“是”或“否”，我问了同一个问题两次。假设每个孩子都能看到对方额头上是否有泥，但看不到自己的额头，那么孩子们的每个回答呢？假设两个孩子都诚实，同时回答每个问题。2020/5/27，15，将隐含，定理1-5.4: p，q设置为任意两个命题公式。pq的充分要求是pq和qp。证明：表1-4.7 pq (pq) (qp)的PQ为t，(qp)的t。也就是说，pq是pq，qp是qp。相反，如果pq存在，并且设置了qp，则(pq)为t，(qp)为t，因此PQ为t，PQ为q。这个定理也可以作为两个公式对应的定义。16，包含的特性，*(1)将a、b、c设置为联合公式，如果ab和a是中言，则b必须是中言表达式。*(2) ab，BC的