Editing Polysyllogism (section)

== Example ==
An example of a categorical polysyllogism is:
:All good students will readily understand polysyllogisms
:All students of logic are good students
:Therefore, all students of logic will readily understand polysyllogisms
:But all people who read this web page are students of logic
:Therefore, all people who read this web page will readily understand polysyllogisms

This argument has the following structure:
:All A is B
:All C is A
:Therefore: all C is B
:All D is C
:Therefore, all D is B

Note two points: first, the makeup of a polysyllogism need not be limited to two component syllogisms. In fact, it can have any number of component syllogisms. Second, validity depends on all its parts. If any one is not valid then the whole polysyllogism is to be considered invalid.<ref>{{cite book|url=https://www.goodreads.com/book/show/1665759.Traditional_Logic_II|author=Martin Cothran|title=Traditional Logic II|pages=64|year=2017|publisher=[[Memoria Press]]}}</ref>

An example for a [[propositional]] polysyllogism is:

:It is raining.
:If we go out while it is raining we will get wet.
:If we get wet, we will get cold.
:Therefore, if we go out we will get cold.

Examination of the structure of the argument reveals the following sequence of constituent (pro)syllogisms:

:It is raining.
:If we go out while it is raining we will get wet.
:Therefore, if we go out we will get wet.

:If we go out we will get wet.
:If we get wet, we will get cold.
:Therefore, if we go out we will get cold.