>>376
そういうのを考えるときは、必ず「全体集合」というものをはっきりさせておくこと。
それから命題は厳密に書く。「牛」は条件ではないので「牛ならば動物である」は
真偽以前に命題になっていない。

たとえば、地球上の生物の全個体を全体集合Aとして固定する。
このとき、命題「全てのx∈Aに対し、xが牛ならばxは動物である。」
を考えてみるといい。