“没有免费的午餐”可用谓词公式表示如下：设M（x)：x是午餐;F（x)：x是免费的，则命题符号化为：