下列推理形式是否正确？为什么？所有的鸟都会飞，鸵鸟是鸟，所以鸵鸟会飞。