Disprove the Claim That All Birds Can Fly

To disprove the statement “all birds can fly,” give one example of a bird that cannot fly. Penguins are birds, but they are flightless in the air, so a penguin is a counterexample. The statement is therefore false, even though many birds can fly.

Express the claim in logic

Let the domain be animals, and define:

• $B(x)$ to mean “$x$ is a bird.”
• $F(x)$ to mean “$x$ can fly through the air.”

The claim can be written as:

$$\forall x\,(B(x) \to F(x)).$$

This says that for every animal $x$, if $x$ is a bird, then $x$ can fly. To show this conditional statement is false, you need an animal for which the condition is true and the conclusion is false: an $x$ such that $B(x)$ is true and $F(x)$ is false.

The logical negation of the claim is:

$$\exists x\,(B(x) \land \neg F(x)).$$

In words: there exists at least one bird that cannot fly. A penguin supplies such an example.

Verify the counterexample

A counterexample must meet both parts of the requirement:

1. The example must be a bird.
2. It must not be able to fly through the air.

Penguins meet both conditions. They are birds, and they do not fly through the air. Their ability to swim does not affect the claim: swimming is not flying. Therefore, the universal statement fails.

You can write the disproof in a short proof-style format:

Choose a penguin $p$. Then $B(p)$ is true, since $p$ is a bird, and $F(p)$ is false, since penguins cannot fly through the air. Thus $B(p) \land \neg F(p)$ holds for at least one animal. Hence it is not true that every bird can fly.

Why one example is enough

The word “all” makes the original claim universal. A universal claim requires the property to hold for every member of the group. If even one member lacks the property, the claim is false.

This is different from proving a positive statement about all birds. To prove that every bird can fly, you would need to establish the claim for every bird. But to disprove it, you only need one counterexample. In logical notation, the difference is:

• Claim: $\forall x\,(B(x) \to F(x))$.
• Negation: $\exists x\,(B(x) \land \neg F(x))$.

You do not have to show that every bird is flightless. The fact that sparrows, eagles, and many other birds fly does not rescue the universal claim. A single flightless bird is enough.

Common mistakes

Giving an animal that is not a bird. A bat may fly, but it is not a bird; it cannot serve as a counterexample to a statement specifically about birds. Likewise, a flightless mammal would not work. Your example must belong to the group named in the claim.

Treating an exception as proof that the opposite is true. Showing that a penguin cannot fly disproves “all birds can fly.” It does not prove “no birds can fly.” Those are different claims, and the latter is plainly false because many birds fly.

Changing what “fly” means midway. Penguins swim underwater, but swimming is not flight through the air. State the intended meaning of “fly” clearly and use it consistently. If a claim uses an unclear term, clarify its meaning before testing it.

Using an individual that cannot fly only because it is injured. If the intended claim is about the usual ability of bird species, an injured sparrow is a weak example because its inability may be temporary. A penguin is a stronger counterexample: penguins are naturally flightless in the air.

General method for universal claims

The same method works whenever you need to disprove a statement such as “every A has property P.” Look for one object that is an A but does not have P. In symbols, the target is an example satisfying $A(x) \land \neg P(x)$. Once you have a valid example and verify both parts, the universal statement is disproved.