看板
[ logic ]
討論串[請益] 為何"若p則q" 等價非p或q"???
共 8 篇文章
內容預覽:
大家都用真值表，我來講個不同的 .... 用直覺主義的想法，像是 BHK interpretation,. if p, then q, 是. 有個方法可以把 p 證明，轉換成 q 證明. 而 false 寫作 p -> ┴ ，代表將證明 p 轉換成 ┴. ┴ 是什麼呢？英文寫作 absurdity,
(還有84個字)
內容預覽:
抱歉炒個冷飯.. 剛好看到書[*]上有簡單說明 propositional logic中. p->q (if p then q) 的真值表為何是這樣訂:. p | q | p->q. ----+---+------. T | T | T (1). T | F | F (2). F | T | T (
(還有532個字)
內容預覽:
前幾篇網友提供不少不錯的說法，. 以前在學習時，我也是用否定去建立直觀的：. 即 p->q 等價於 ~(p ^ ~q), 而後者又與 ~p v q 等價。. 說來，邏輯上的規定很大因素是為了推導公式的簡潔性。. 一般人對前提是否定的真假值比較不能建立直觀感，. 這篇文章另外提供一種看法：. 考慮這樣
(還有118個字)