[請益] 離斷率、逆斷率、基始符號
請問
離斷率(modus ponens)
逆斷率(modus tollens)
基始符號(primitive symbol)
的名詞解釋?並舉例.
還有請問一下
三段論(Syllogism),命題邏輯(Propositional Logic),謂詞邏輯(Predicate Logic)
推論的特性,應用範圍,及其相互關係為何?
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.116.105.37
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 1 之 2 篇)：