# Disprove That: All birds can fly [closed]

I am learning about proof construction. Please let me know what is wrong with this proof?

To be proved: There is a bird which can not fly.

Proof:

Every flying object has wings (Because flying is due to wings).

Every bird has wings. (It will not be a bird otherwise)

But wings don't imply flying (for example chicken or duck)

Every bird can not fly. QED

• Ducks fly (unless actively prevented by a human action). However, ostriches and penguins do not.
– user228113
Commented May 15, 2017 at 12:58
• Just because wings don't imply flying doesn't mean there is a winged animal that doesn't fly. Are you not allowed to use a counter example? "Penguins don't fly, penguins are a bird, therefore not all birds fly. QED" Commented May 15, 2017 at 12:58
• This is a bit of a strange question, imho, because the only valid proof here would be to simply provide an example of a bird that doesn't fly (e.g. an ostrich). Also, FYI, Ducks and Chickens can both fly! Commented May 15, 2017 at 12:58
• The argument: "Every flying animal has wings. Every bird has wings. Therefore: Every bird flies." is not valid exactly for the counter-example with chickens. Thus, "Every $A$ is $B$. Every $C$ is $B$. Therefore: Every $C$ is $A$." is not a valid syllogism. Commented May 15, 2017 at 13:04
• @MauroALLEGRANZA I got the point. And ducks are making trouble here. Let's stick with the ostrich. Commented May 15, 2017 at 13:10

Proof: The number $5$ is a natural number, and it is not even. Therefore, not all natural numbers are even.