Therefore, all lions are carnivores. TRUE

A sorites is a specific kind of polysyllogism in which the predicate of each proposition is the subject of the next premise. Example:

AB

All lions are big cats.

BC

All big cats are predators.

CD

All predators are carnivores.

inference logicAD

Therefore, all lions are carnivores.

A

lions

B

big cats

C

predators

D

carnivores

0
Public: Yes; Show truth table: No;