Условно-разделительное умозаключение
Материал из Википедии — свободной encyclopedia
Условно-разделительное умозаключение (также полилемма, лемматическое умозаключение) — умозаключение, посылки которого состоят из одного разделительного суждения и нескольких условных. Частные случаи с двумя и тремя условными высказываниями имеют собственные названия — дилемма и трилемма соответственно.
Пример[1]:
- Если деятельность порождает полезные факты, ею следует заниматься. Если деятельность развивает мозг, ею следует заниматься. (условные суждения)
- Наука или порождает полезные факты, или развивает мозг. (разделительное суждение)
- ----
- Значит, наукой следует заниматься. (заключение)