首先,正確來講,這些結構在命題邏輯裡面叫作「運算元(operator)」(或是「連結詞(connective)」)。而既然現在大家都已經知道命題邏輯是作用在符號上的,我們就直接用 ...
確定! 回上一頁