Math 一阶逻辑翻译

Math 一阶逻辑翻译,math,set,logic,predicate,jsoniq,Math,Set,Logic,Predicate,Jsoniq,使用以下定义将英语语句表示为一阶公式 定义: ● 我有一个类似的问题,结果很差。我的做法是: ∀x∈ C ∃Y∈ 一(至今) 不幸的是,ICN和p(x,i,c,n)部分把我绊倒了,特别是关于n>100。我希望到目前为止我是正确的;希望有更多知识的人能够利用/纠正我的知识。1)请提供您解决此问题的尝试。2) 这个问题应该发布在math.stackexchange.com上。此外,如果您发布了问题的不完整文本,则未定义集合N。

使用以下定义将英语语句表示为一阶公式

定义:


● 我有一个类似的问题,结果很差。我的做法是:

∀x∈ C ∃Y∈ 一(至今)


不幸的是,ICN和p(x,i,c,n)部分把我绊倒了,特别是关于n>100。我希望到目前为止我是正确的;希望有更多知识的人能够利用/纠正我的知识。

1)请提供您解决此问题的尝试。2) 这个问题应该发布在math.stackexchange.com上。此外,如果您发布了问题的不完整文本,则未定义集合N。