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

井家哒丫头 1年前 已收到1个回答 举报

lbglgxcn 幼苗

共回答了10个问题采纳率:90% 举报

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))

1年前

6
可能相似的问题
Copyright © 2024 YULUCN.COM - 雨露学习互助 - 16 q. 2.320 s. - webmaster@yulucn.com