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

[rapandol (海藍)]

請問 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
→ cmlrdg:可以取x=z, x不等於y.