透過這些規則,我們得以辨別及構作SL的WFF。在討論SL的語法時,SL的連詞如'∨','&' 及WFF如"~P∨Q" "(~(P∨Q)&(~(~P→~Q)))" 均只被視為無意義的符號或符號串。 在此課中 ...
確定! 回上一頁