Validating Arguments Using Categorical Logic - With Solution
Validating Arguments Using Categorical Logic - With Solution
Categorical Syllogisms
• Syllogisms: is a three-line deductive argument, that consists of two
premises and one conclusion.
• Categorical: Each statement should begin with either All, Some or No.
• Example
All cats are animals.
Some animals are wild.
Some cats are wild.
Categorical Statements
1. All S are P
2. No S are P
3. Some S are P
4. Some S are Not P
Example-2
No Democrats are Republicans.
Some life guards are Republicans.
So, some life guards are not Democrats.
Example-4
No scientists are toddlers.
All physicists are scientists.
So, some physicists are not toddlers.
Example-5
Some bankers are vegetarians.
No anarchists are bankers.
So, some anarchists are not vegetarians.
Example-7
No sharks are pets, since no barracuda are pets, and no sharks are barracuda.
Example-8
All snakes are reptiles.
All reptiles are cold blooded animals.So, all snakes are cold blooded animals.
Example-10
Some bankers are vegetarians. No anarchists are bankers. So, some anarchists are
not vegetarians.
Example-11
Some dotcom millionaires are philanthropists. All philanthropists are altruists
Hence, some altruists are dot-com millionaires.
Example-13
All cats are carnivores. All tigers are cats. So, all tigers are carnivores.
Example-14
No one who is Nobel prize winner is a rock star. Some astrophysicists are Nobel
prize winners. Therefore, some astrophysicists are not rock star.
Example-16
All poems are sonnets. No mathematical treatise is a poem. Therefore, no
mathematical treatise is a sonnet.
Example-17
No lie is immoral, for no harmless acts are immoral and some lies are harmless.