Description: "Barbari", one
of the syllogisms of Aristotelian logic. All is
, all is , and some exist, therefore some
is . (In Aristotelian
notation, AAI-1: MaP and SaM
therefore SiP.) For example, given "All men are mortal",
"All Greeks are
men", and "Greeks exist", therefore "Some Greeks are
mortal". Note the
existence hypothesis (to prove the "some" in the conclusion).
Example
from https://en.wikipedia.org/wiki/Syllogism.
(Contributed by David
A. Wheeler, 27-Aug-2016.) (Revised by David A. Wheeler,
30-Aug-2016.) |