[請益] 不等號連用的問題

看板logic作者 (海藍)時間13年前 (2012/06/17 19:16), 編輯推噓0(0推 0噓 1→)
留言1則, 1人參與, 最新討論串1/1
請問 x≠y≠z，和 (x≠y)^(y≠z)^(z≠x) 等價嗎@@? 因為最近在學邏輯，書中在描述至少三個的表述時，強調說要明確表述出兩兩不相等，才 能表述出至少三個的意涵。 至少三個： ExEyEz{[(Sx^Sy)^Sz]^{[(x≠y)^(y≠z)]^(x≠z)}} 那可不可以直接寫成 ExEyEz{[(Sx^Sy)^Sz]^(x≠y≠z)} 呢？ -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 123.193.164.181
→
06/17 20:07, , 1F
可以取x=z, x不等於y.
06/17 20:07, 1F
‣ 更多 rapandol 的文章
文章代碼(AID): #1FtRoUoT (logic)