真值函應聯結詞
含有「真值函應聯結詞」共 1 篇內容
全部內容
發佈日期由新至舊
作者: 黃盛
1 Down the rabbit hole: 論理型
掉下兔子洞
九
我們引入一個符號 ——
——10 並採用這樣的一個記法 (notation):
，用來代表「如果 p，那麼 q」。此後﹐我們不再寫「如果 p，那麼 q」。凡條件句式﹐都記為
以下的論理是個正確的
