“有的汽车比有的火车跑得快”将命题符号化并化为前束范式。帮忙看下错在哪【离散数学】

2025-12-15 03:16:55
推荐回答(1个)
回答1:

一般来说 ∃ 存在量词后面的逻辑是 并且, 他的解释是 存在这种情况 汽车、火车、并且汽车比火车快
而∀全称量词 后面一般用到的是蕴含符号 → ,解释是,所有的汽车、火车都能 推出 汽车比火车快