小编dar*_*rry的帖子

我是C的新手,也是stackoveflow的新手.我在编写第一个oder公式时遇到了一些问题

forall([X],implies(X,f(X)))

这里x是一个变量,暗示是谓词,f是函数.听起来对于所有x,x意味着x i的函数f(x).

使用C.任何建议和帮助将不胜感激.