实数比较的谓词逻辑符号化表示
有命题如下：任意实数x，总存在实数y，使得y<x成立。设：F(x)：x是实数，G(x,y)：x<y。在谓词逻辑范围内对该命题正确的符号化表示是：∀x∃y(F(x) → G(x,y))
原文地址: https://www.cveoy.top/t/topic/o3hC 著作权归作者所有。请勿转载和采集!
安全问答是一个知识全球问答,包含丰富的问答知识
有命题如下：任意实数x，总存在实数y，使得y<x成立。设：F(x)：x是实数，G(x,y)：x<y。在谓词逻辑范围内对该命题正确的符号化表示是：∀x∃y(F(x) → G(x,y))
原文地址: https://www.cveoy.top/t/topic/o3hC 著作权归作者所有。请勿转载和采集!