作者rapandol (海藍)
看板logic
標題[請益] 不等號連用的問題
時間Sun Jun 17 19:16:43 2012
請問 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
1F：→ cmlrdg:可以取x=z, x不等於y. 06/17 20:07