阳春三月 发表于 2013-6-23 14:53
那你拿自己在说事咯，自己拿石头砸自己咯
说你智力差，逻辑混乱，还真是。我绕道走，不然得买新鞋了。你请自便。
本来不想发言 发表于 2013-6-23 15:57
说你智力差，逻辑混乱，还真是。我绕道走，不然得买新鞋了。你请自便。
没有气度的一个男人
本帖最后由 lovesummerwine 于 2013-6-23 17:46 编辑
最恨注册 发表于 2013-6-22 20:45
你的逻辑没学好。她说，有家有室 & 混得好的都不是网虫。
按照她的逻辑，反过来则应该是，网虫是：
...
靠. 跟我讨论逻辑, 歇歇吧哈.
谢你好心了. 关于这个小屁孩的发言, 我根本也没兴趣分析她什么逻辑.她就是赶哪儿说哪儿.我也就是回她, 贫着玩.
本帖最后由 最恨注册 于 2013-6-23 23:40 编辑
lovesummerwine 发表于 2013-6-23 17:43
靠. 跟我讨论逻辑, 歇歇吧哈.
谢你好心了. 关于这个小屁孩的发言, 我根本也没兴趣分析她什么逻辑.她 ...
我想了下，这个还不算逻辑题，是数学题。PS，你的第一句话好狂妄哦。
最恨注册 发表于 2013-6-23 23:38
我想了下，这个还不算逻辑题，是数学题。PS，你的第一句话好狂妄哦。
逻辑属于数学里的一个基础理论。不好意思，让你觉得我狂妄了。
本帖最后由 lovesummerwine 于 2013-6-24 13:43 编辑
最恨注册 发表于 2013-6-22 20:45
你的逻辑没学好。她说，有家有室 & 混得好的都不是网虫。
按照她的逻辑，反过来则应该是，网虫是：
...
你的逻辑没学好。她说，有家有室 & 混得好的都不是网虫。
按照她的逻辑，反过来则应该是，网虫是：
1。有家有室 & 混的不好
2。没家没室 & 混的不好
2。没家没室 & 混的好
补充一句，但是这不等同于：符合以上1或2或3这三种情况的必然是网虫。
所以，网虫有可能 1。有家有室 & 混的不好
但是 1。有家有室 & 混的不好 不一定都是网虫。
2，3，同理。
总之，从她的话你不能推出：没家没室混的不好的就是网虫这个结论；以及网虫都是混的不好的这个结论。
（我喜欢做逻辑题，呵呵。summerwine连这个最简单的例子都没理清，冏）
既然你这么认真，而且如果我没记错的话，数学逻辑中是这样定义的
"A => B"< => "! B => !A"
"A & B => C " <=>" ! C => ! (A&B)" <=> "! C => (! A & B)& ( A&!B ) & (!A & !B) "
希望你看的懂。 根据这个定义，你自己应用好了。
欢迎学数学和物理的同学来纠正，如果我记错的话。
如果你想纠正，请别用点评，直接回我好了。这个命题是if.. then ...的关系，前后根本不是充要条件。你搞错了。
lovesummerwine 发表于 2013-6-24 13:07
逻辑属于数学里的一个基础理论。不好意思，让你觉得我狂妄了。
随便拉，任何学科归根到底都是数学。不过，有时候逻辑是单独列出来学习的。
本帖最后由 lovesummerwine 于 2013-6-24 14:17 编辑
最恨注册 发表于 2013-6-24 13:36
随便拉，任何学科归根到底都是数学。不过，有时候逻辑是单独列出来学习的。
逻辑学本来就专门的一个学科。这里我们说的仅是逻辑而已。
另外，最后一条, 好吧，我其实是真记不清了。毕业太多年了。
仔细查了一下,正确结果如下
! (A & B) <=> !A ^ !B
! (A ^B)<=> !A & !B
好了我总结下，如果命题为，有家有室 &/or混得好的都不是网虫。
那么此命题等价于，如果是网虫，那么就是 没家没室& or 混的不好的
分析如下
A = "有家有室", B = "混得好的", C = "! 网虫"
A & B implies C<=> ! C implies ! (A & B)means 1,2 & 3.
总结，这前后本不是充要条件，我也压根就没跟她争这个，但是，那小孩的逻辑就表示了我写的这些。我说我是网虫，但我不属于１，２,３里的。明白了?
lovesummerwine 发表于 2013-6-24 13:42
逻辑学本来就专门的一个学科。这里我们说的仅是逻辑而已。
另外，最后一条，! (A&B) = ???我真的 ...
为什么你觉得逻辑学和逻辑是两码事？ {:5_456:}
lovesummerwine 发表于 2013-6-24 13:07
逻辑属于数学里的一个基础理论。不好意思，让你觉得我狂妄了。
http://zh.wikipedia.org/wiki/%E9%80%BB%E8%BE%91
邏輯（logic），又稱理則、論理、推理、推論，是有效推論的哲學研究。逻辑学就是研究规律性事物的一门学科。邏輯被使用在大部份的智能活動中，但主要在哲學、數學、語義學和電腦科學等領域內被視為一門學科。
逻辑属于数学里的一个基础理论 ？ 不是吧。那只是其中的一小部分。