请教一个逻辑运算的问题

w_anthony

superwujc 发表于 2013-06-04 11:37
回复 8# lrita
惭愧，小弟的数学水平只是停留在高中一年级水平。。。

LZ还是没有理解对，举个例子，如果“明天是晴天”，“小明就一定会约小茜喝茶”；这句话我们不能得出“如果明天不是晴天”，“小明就一定不会约小茜喝茶”，小明也还是有可能会去约她的，但是如果“明天小明没有约小茜喝茶”，那么“明天一定不会是晴天”。

sonicling

回复 8# lrita


    小朋友，俺高考的时候，高中数学不教命题逻辑、导数，就像当年我读小学的时候学校也不教英语一样。所以我也不知道高中数学还包含这些，你不用揪着不放。敢情若干年后，高等数学、离散数学全都放在高中学了，就不用上大学了，高中毕业就可以当工程师。

《离散数学》是计算机专业（包括专科）最基础的课程之一，这本书的内容可以系统地解答楼主的问题。它的难度充其量相当于高等数学上册，都是高中层度的东西，只不过讲解更系统，更科学，属于科普教材。

相对论在本科的时候学过，是《电动力学》那本书里的相对论基础部分。但恕我愚钝，没学懂。现在也只记得什么洛仑兹变换等少数几个名词了。你也不用拿这么难的课程来比喻《离散数学》。

sonicling

w_anthony 发表于 2013-06-04 14:28
LZ还是没有理解对，举个例子，如果“明天是晴天”，“小明就一定会约小茜喝茶”；这句话我们不能得出“ ...

你提醒我了，楼主这个问题恐怕用《离散数学》的内容很难解决。去看《应用逻辑》的命题逻辑表证明吧。我刚好做过这个



将两边的蕴含（>）改为当且仅当（=）就可证了，也就是说两边等效。



或者把后面半边的蕴含关系交换一下也可证。



PS:“Provable”就是可证明为真，“Refutable”就是可证明为假（可驳）。

w_anthony

回复 13# sonicling


为什么说用离散数学很难解决，你测试的这个东西，不是跟我6L说的一模一样么？怎么不能解决？

hwrd_et

我靠，。看下德摩根定律是如何证明的不就结了，还需要这么麻烦？

sonicling

回复 14# w_anthony


    我说的表证明法是一种机械化的证明方法，对任意命题逻辑公式都通用，所以比演绎的方法简单，无须选择定理。

jkkkls

(!A || !B)  => C
!(!A || !B)  => !C
!!A && !!B => !C
A && B => !C

sacry

回复 16# sonicling

为什么说离散数学很难解决。
就我所知道的离散数学知识，任何出现这种的
只要打叉然后说这是Inverse Error就OK了。

这种argument已经被定义为invalid，一般情况并不需要多讨论。
如果是教学的话，那貌似列个真值表什么的就可以了。
   

cjaizss

superwujc 发表于 2013-06-04 09:48
条件A，条件B，条件C，
1. 若表达式 (!A || !B) 为真，则C为真
2. 若表达式 (A && B) 为真，则!C为真

不可推

sonicling

回复 18# sacry


    永真和永假的东西你可以用定理证明，有时真有时假的东西要证明就只能穷举搜索反例了。

楼主说的这个东西就是有时真有时假，你不能说用某某定理推不出来就不对。