离散数学,求高手帮看看怎么表示,将下列命题符号化

2024-12-27 14:31:29
推荐回答(1个)
回答1:

1. p:吴红去游泳 q李军就去游泳 p→q
2. M(x):x属于我们班,p(x):x会唱歌, q(x)x会跳舞 存在x(M(x)→p(x))∧存在x(M(x)→q(x))
3. M(x):x是鸟 N(x):x会飞 存在x(x(M(x)→非N(x))
4. M(x):x是汽车,N(y):y是火车 H(x,y):x比y快 存在x对任意y((M(x)∧N(y)→H(x,y))