Re: [請益] 該如何理解語句邏輯的公理?
※ 引述《Jer1983 (stanley)》之銘言：
不就把符號用日常用詞或例子代入就好了嗎
例如φ:此地沒遮擋 Ψ:此地下雨 θ:此地上濕
: 最近看到 sentential logic 的公理, 有提到以下三個公理
: (1) (φ -> (Ψ -> φ) )
此地必定沒遮擋的話 那就會 此地有下雨 就會 此地沒遮擋
(都說這裡沒遮擋了 關有沒下雨鬼事 反正這裡就是沒遮擋
好無聊的公理 這就是邏輯的公理呀?)
: (2) ( φ -> (Ψ -> θ) ) ->
[沒有遮擋 的話那 下雨地上就會溼] 的話 就會
( (φ -> Ψ) -> (φ -> θ) )
[沒遮檔 就會 下雨的話 那 沒遮檔就會地上溼]
: (3) ( (┐φ-> ┐Ψ)-> (Ψ->φ) )
有遮擋就會不下雨的話 那 有下雨就代表一定沒遮擋
(若A則B 非B則非A)
: 其中 φ,Ψ,θ 可以代入任何的語句
: 我好奇的是該怎麼用"白話"理解這三個公理? 謝謝
不要被符號嚇到 好像很簡單呀
沒學過邏輯學 純粹外行人看法 大家參考笑笑就好 有誤導不負責~~~~~ 喔齁齁
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.104.121.96
推
08/24 09:46, , 1F
08/24 09:46, 1F
→
08/24 09:47, , 2F
08/24 09:47, 2F
推
08/24 22:45, , 3F
08/24 22:45, 3F
→
08/25 01:26, , 4F
08/25 01:26, 4F
→
08/25 01:29, , 5F
08/25 01:29, 5F
→
08/25 01:30, , 6F
08/25 01:30, 6F
→
08/25 08:12, , 7F
08/25 08:12, 7F
→
08/25 08:12, , 8F
08/25 08:12, 8F
→
08/25 08:51, , 9F
08/25 08:51, 9F
→
08/25 08:52, , 10F
08/25 08:52, 10F
→
08/25 09:46, , 11F
08/25 09:46, 11F
→
08/25 09:46, , 12F
08/25 09:46, 12F
→
08/25 09:46, , 13F
08/25 09:46, 13F
→
08/25 09:50, , 14F
08/25 09:50, 14F
→
08/25 09:51, , 15F
08/25 09:51, 15F
討論串 (同標題文章)