看板
[ logic ]
討論串[請益] 述詞邏輯符號化
共 6 篇文章
內容預覽:
會啊 你可以自己代代看看. Px你代入黃色的原子筆. 那麼整句變成 如果黃色的原子筆是哲學家，那麼黃色的原子筆是勇敢的。. 但是因為黃色的原子筆不是哲學家，所以前件為假。. 而你看看條件句的真值表，當條件句的前件為假，整個條件句必為真。. (條件句只有在前件為真後件為假的情況下才為假). 這個我前面
(還有404個字)
內容預覽:
確實，我原本的例子表達的不是很清楚。. 「對所有x，如果x是哲學家，則x是勇敢的」成立，. 這裡的意思是說任何個體常元a、b、c、... 代入x後，. 會使得(Px → Cx)這個條件句為真。. 意思是說：(x)(Px → Cx) iff (Pa → Ca) & (Pb → Cb) & (Pc →
(還有487個字)
內容預覽:
我不明白的是這段話. (1)所有哲學家是勇敢的。. a. (x)(Px → Cx) 意思：對所有x，如果x是哲學家，則x是勇敢的。. b. (Ex)(Px → Cx) 意思：對有些x，如果x是哲學家，則x是勇敢的。. (見上面有標顏色的部分)為什麼a、b的兩者的推論會不相同呢？. 也就是說，為什麼在
(還有282個字)
內容預覽:
你可以把這句話理解為，對於所有的X，如果X是哲學家，則X是勇敢的。. 或者說，對於所有東西而言，如果這個東西是哲學家，則這個東西是勇敢的。. 這句話你可以理解為，對於有些X，X是哲學家，而且X是勇敢的。. 或者說，有些東西既是哲學家又是勇敢的。. 依照上面的理解 (x)(Px & Cx) 意義會變成
(還有234個字)