Дедуктоматика

[Deduktiv]

Несколько слов о категориях, общих понятиях и частных понятиях.
Ловите:

Категория это то множество подмножествами которого являются общие понятия, а частные понятия это те элементы которые являются частями этих подмножеств.
Чтобы вы поняли, что тут к чему разберём следующий силлогизм.
Итак:
1) автомобили это механизмы.
2) внедорожники это автомобили.
3) следовательно, внедорожники это механизмы.
Что в данном силлогизме является:
1) категорией (множеством)?
2) общим понятием (подмножеством)?
3) частным понятием (элементом)?
Итак, в данном силлогизме:
1) механизмы это категория (множество).
2) автомобили это общее понятие (подмножество).
3) внедорожники это частное понятие (элемент).