Question

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

Answer 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））