作者lofi23 (一番宅！生不出啤酒~)
看板logic
标题[请益] 逻辑蕴含与实质蕴含
时间Fri Mar 9 20:16:10 2007
在某校的考古题上看到这两个名词。
翻了一些书，找到定义如下：
实质蕴含：若一个真函如言为真，则前件实质蕴含後件。
逻辑蕴含：若一个真函如言"逻辑上"为真，则前件逻辑蕴含後件。
我想请教的是关於"逻辑上为真"，指的是什麽意思呢？
另外想问一个逻辑符号，长的像等号，但是是三条线...
请问这个符号是什麽？
又他在逻辑推论中有什麽规则必须遵守，或使用？
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.167.41.49