有些鸟会飞,但并非所有的鸟都会飞,离散数学用一阶逻辑将命题符号化

2025-04-03 02:09:47
推荐回答(1个)
回答(1):

有些鸟会飞,但并非所有的鸟都会飞
B(x): x是鸟
C(x): x会飞
表示为:
∃x(B(x)∧C(x))∧¬∀x(B(x)→C(x))