2在一阶逻辑中将下列命题符号化 (1)某列火车都比某些汽车快.2)鸟都会飞翔

2025-04-13 12:34:32
推荐回答(1个)
回答1:

1)令:a:某列列车;F(x):x是飞机;Kxy:x比y快,则:
∃x(F(x)∧K(ax))
2)令:B(x):x是鸟;F(x):x会飞,则:
∀x(B(x)→F(x))