作者A1Yoshi (我是妖西)
看板logic
标题Re: [请益] 逻辑蕴含与实质蕴含
时间Sat Mar 10 06:59:06 2007
※ 引述《lofi23 (一番宅！生不出啤酒~)》之铭言：
: 在某校的考古题上看到这两个名词。
: 翻了一些书，找到定义如下：
: 实质蕴含：若一个真函如言为真，则前件实质蕴含後件。
: 逻辑蕴含：若一个真函如言"逻辑上"为真，则前件逻辑蕴含後件。
另外发点牢骚。我建议你换本课本。基本上我个人不建议读中文书，因为烂
的多好的极少，但初学者又没有能力分辨，只好啃啊啃的然後把脑子也跟着
啃坏掉了（西哲版就有一票啃中文书脑子给啃坏掉的）。
哪有人这样子循环解释的？要解释逻辑、蕴含，结果解释项中包含被解释项
，这是怎样？
哪本书啊？贴出来叫大家不要买。哲学这样念难怪念不好。明明就不是很难
。应该说，至少开始不该就变的很难。好戏还在後头咧。
我在国外学初阶逻辑（propositional logic），人家只花了十五个小时就
把最核心的讲完（当然，包含述词逻辑）。
但我以前在台大上课，上了四十几小时述词也不见得讲得完。
--
PTT2 自然就是美 => 百慕达群岛 => 漩涡 =>
PinkParties
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 87.194.73.179
1F：推 zwd:"propositional logic"应该是「命题逻辑」吧？ 125.233.216.1 03/10 17:35
2F：推 A1Yoshi:....这难道不是入门的初阶逻辑？ 87.194.73.179 03/11 07:58
3F：推 zwd:我只是觉得要嘛这样写︰初阶逻辑（first-order 218.170.233.3 03/11 15:56
4F：推 zwd: logic），或是︰命题逻辑（propositional lo- 218.170.233.3 03/11 15:57
5F：推 zwd:c），不知道是否会更贴切些？希望能得到你的批 218.170.233.3 03/11 15:58
6F：推 zwd:评^^ 218.170.233.3 03/11 16:02
7F：→ zwd:痾...上上一行开头少了gi两个字母= =" 218.170.233.3 03/11 16:02