看板
[ logic ]
討論串[請益] 該如何理解語句邏輯的公理?
共 20 篇文章
內容預覽:
邏輯課裏都會強調，請你撇開真實世界的想法。. 例如以下的statement. All men are aliens.. Socrates is a man -> Socrates is a alen.. 這絕對是個有效的statement，跟 Socrates 在實世界是不是火星人都沒有關係。. 當
(還有264個字)
內容預覽:
這個說法我認同. 例如我認同 (p -> q) -> (非q -> 非p). 舉不合事實的例 p:下雨 q:地絕對不濕. 我很認同 (只要下雨地就絕對不濕的話) 那 (地上濕表示絕對沒下雨). 但 (φ-> (Ψ->φ) ) 中 表示 可以代入任何的語句. 我解讀為 可以代入任何(語句內容所指的)事
(還有1715個字)
內容預覽:
這句話我來很對 不過應該不是 (φ-> (Ψ->φ) )的含意. (φ-> (Ψ->φ) )應該只有指. 當φ出事時，Ψ出事了，那φ也出事了. 並沒有到Ψ沒出事的部份 雖然Ψ沒出事也一樣 ....... 我知道你沒有這個意思 但這個說法我覺得可能會讓人誤會為. 當φ出事了，(若Ψ出事了，則θ也出事)
(還有103個字)