选择第一个符号化方式,表示为“任意的x,如果x是鸟,x一定可以飞翔”.
第二个说的是,所有的x一定是鸟且能飞翔,与命题表达有区别.这要看个体域是什么,如果是鸟类集合,两个表示都行,如果个体域是全总个体域,代表一切事物,第二个表达就是错的了.
符号化时,全称量词与蕴涵联结词→结合,存在量词与合取∧结合.