結果我發現我不知道怎麼用first order language表達cyclic...
或是任何要加n次的概念.(n>0,but how to express the relation ">"
in group theory?)
後來想到一個我覺得有點好笑的例子:
English: every element is either even or odd.
FOL: ∃v1∀v2∃v3(v2=v3+v3 or v2=v3+v3+v1)
e a e
e:exists
a:forall
令v1=1則上句在Z是真的,
但是考慮v2是(1,0)或(0,1)的話就不可能有v1=(x,y)滿足上句.
(不知能否正常顯示quantifier,標註個英文XD)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 98.154.98.77
※ 編輯: hips 來自: 98.154.98.77 (10/07 14:19)