“没有免费的午餐”可用谓词公式表示如下:设M(x):x是午餐;F(x): x是免费的,则命题符号化为:┐∃x(M(x)∧F(x))。也可以表示为:∀x(M(x)→┐F(x))。
举一反三
- “好人自有好报”可用谓词公式表示如下:设F(x):x是好人;G(x):x会有好报,则命题符号化为:∀x(F(x)→G(x))。
- 对于命题“没有不犯错误的人”可以进行如下表示:设M(x):x是人 F(x):x犯错误 此命题可以理解为:不存在一些人不犯错误。此时,符号化为:¬($x) (M(x)∧¬F(x) ) 也可以理解为:任何人都是要犯错误的。即("x) (M(x)→F(x)) 。
- 设D:全总个体域,M(x):x是人,F(x):x犯错误。则命题“没有不犯错误的人”的逻辑符号化为( ) A: $x( M(x)∧P(x) ) B: "x( M(x)∧F(x) ) C: "x( M(x) → F(x) ) D: $x( M(x) → P(x) )
- “有人不会唱歌。”可用谓词公式表示如下:设F(x):x是人;G(x):x会唱歌。则命题符号化为:
- “好人自有好报”可用谓词公式表示如下:设F(x):x是好人;G(x):x会有好报。则命题符号化为: