作者KrumpDancing (C+)
看板logic
标题[请益]名词解释
时间Sat Jun 11 00:17:03 2005
请问
离断率(modus ponens)
逆断率(modus tollens)
基始符号(primitive symbol)
的名词解释?并举例.
还有请问一下
三段论(Syllogism),命题逻辑(Propositional Logic),谓词逻辑(Predicate Logic)
推论的特性,应用范围,及其相互关系为何?
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.116.105.37