Deductive Logic/Categorical Sentence Schemata/Modus Celarent Examples

Here are 10 examples of valid Modus Celarent syllogisms.

(Modus Celarent is a first-figure EAE-1 mood syllogism of the form:

No M is P. All S is M. Therefore, no S is P.)

Example 1

• No mammals are cold-blooded.
• All dogs are mammals.
• Therefore, no dogs are cold-blooded.

Example 2

• No machines are capable of feeling emotions.
• All computers are machines.
• Therefore, no computers are capable of feeling emotions.

Example 3

• No triangles have four sides.
• All equilateral triangles are triangles.
• Therefore, no equilateral triangles have four sides.

Example 4

• No honest person is a liar.
• All saints are honest persons.
• Therefore, no saint is a liar.

Example 5

• No poisonous plants are safe to eat.
• All hemlocks are poisonous plants.
• Therefore, no hemlocks are safe to eat.

Example 6

• No humans are immortal.
• All kings are humans.
• Therefore, no kings are immortal.

Example 7

• No birds are mammals.
• All sparrows are birds.
• Therefore, no sparrows are mammals.

Example 8

• No prime numbers are divisible by 2 (except 2).
• All odd primes are prime numbers.
• Therefore, no odd primes are divisible by 2.

Example 9

• No just laws are unjust.
• All constitutional laws are just laws.
• Therefore, no constitutional laws are unjust.

Example 10

• No oceans are freshwater.
• All the Atlantic and Pacific are oceans.
• Therefore, neither the Atlantic nor Pacific is freshwater.