※ 引述《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