2x=3x這樣的句子算是一個wff嗎?
有沒有強者可以回答一下的
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.172.22.64
> -------------------------------------------------------------------------- <
作者: pkwbim (多采多姿) 看板: logic
標題: Re: [請益]2x=3x
時間: Fri Jun 17 06:32:20 2005
※ 引述《alchemist ( )》之銘言：
: 2x=3x這樣的句子算是一個wff嗎?
: 有沒有強者可以回答一下的
如果是在predicate logic下，no.....
照原po的想法，2、3應該是constant symbol
而x應該想要表達它是個variable吧
依 Predicate logic 的語法
無法造出這個formula，
除非2x表示的是 2 * x即可以寫成 *(2,x)，
也就是暗含 * 這個function
不然這並不是一個在prdicate logic下的well formed formula
如果寫成
*(2, x) = *(3, x)
這就會是一個wff
不過也要預設 = 這個relation（或是稱它為predicate）已存在於你的語言裡
有些版本的predicate logic不喜歡=被定出來
如果預設 = 存在，也就是使用這logic的人無條件接受了=的三條公設
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 219.68.200.74