Частковий випадок (логіка)

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

У логіці поняття A називається частковим або окремим випадком поняття B в тому і тільки тому випадку, якщо кожен екземпляр A є в той же час і примірником B (іншими словами, якщо поняття B є узагальненням поняття A).

Наприклад, квадрат є окремим випадком ромба, так як кожен квадрат є в той же час і ромбом (тобто, задовольняє означенню ромба).

Див. також[ред.ред. код]