题目

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

提问时间：2021-04-01

答案

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