[請益]名詞解釋

[KrumpDancing (C+)]

請問

離斷率(modus ponens)
逆斷率(modus tollens)
基始符號(primitive symbol)

的名詞解釋?並舉例.

還有請問一下
三段論(Syllogism),命題邏輯(Propositional Logic),謂詞邏輯(Predicate Logic)
推論的特性,應用範圍,及其相互關係為何?




--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.116.105.37