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