作者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