Частковий випадок (логіка): відмінності між версіями

[перевірена версія][перевірена версія]
Вилучено вміст Додано вміст
стильові правлення
вікіфікація, уточнення
Рядок 1:
У логіці [[поняття]] '' A'' називається '''частковим або окремим випадком''' поняття '' B'' тоді і лише тоді, коли кожен екземпляр ''A'' є водночас і примірником '' B'' (іншими словами, якщо поняття ''B'' є [[Узагальнення| узагальненням поняття]]'' A'').
 
Наприклад, [[квадрат]] є окремим випадком [[ромб]]а, оскільки кожен квадрат є водночас і ромбом (тобто, задовольняє [[Означення| означенню]] ромба).
 
== Див. також ==
* [[{{Нп|Вироджений випадок]]|||Degeneracy (mathematics)}}
* [[Уніфікація (інформатика)|Уніфікація]]
* [[Окремий випадок формули]]
* [[Дедукція]]
* [[Індукція логічна(логіка)|Індукція]]
* [[Узагальнення понять]]
* [[Гіперо-гіпонімія]]
* [[Гіпонім та гіперонім]]
* [[Підмножина]]
 
 
{{logic-stub}}
{{math-stub}}
 
[[Категорія:ЛогікаМатематична логіка]]