Valid Argument/Examples/Bats have Lungs

From ProofWiki
Jump to navigation Jump to search

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.


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.