[H17] 簡單語句邏輯 - philosophy@hku.Main.HomePage browse

[H17] 簡單語句邏輯 - philosophy@hku.Main.HomePage browse

瀏覽:678
日期:2025-10-16
第三課:基本真值表 3.1 SL語意論的基本概念 在前章,我們只集中在陳構SL的語法規則。 透過這些規則,我們得以辨別及構作SL的WFF。在討論SL的語法時,SL的連詞如 '∨','&' 及 WFF如 "~P∨Q" "(~(P∨Q)&(~(~P→~Q)))" 均只被視為無意義的符號或符號串。...看更多