Valid Argument/Examples/Bats have Lungs

Example of Valid Argument
The following is a valid argument with true premises:


 * All bats are mammals.
 * All mammals have lungs.


 * Therefore all bats have lungs.

Proof
This is a categorical syllogism of the first figure, of the form $AAA$.

From Valid Patterns of Categorical Syllogism, this is seen to be a valid argument.

The premises are true.

It follows that the argument is sound.