Частный случай (логика)

В логике и в математике в целом — понятие A называется ча́стным слу́чаем понятия B в том и только том случае, если каждый экземпляр A является в то же время и экземпляром B, но при этом существует хотя бы один экземпляр B, не входящий в A (другими словами, если понятие B является обобщением понятия A).

Например, квадрат является частным случаем ромба, так как каждый квадрат является в то же время и ромбом (то есть, удовлетворяет определению ромба), при этом обратное неверно: любой ромб, не имеющий прямых углов, квадратом не является.

• Вырожденный случай
• Частный случай формулы
• Дедуктивное умозаключение
• Индуктивное умозаключение
• Обобщение понятий
• Гипонимы и гиперонимы
• Подмножество

Это заготовка статьи по логике. Помогите Википедии, дополнив её.

Это заготовка статьи по математике. Помогите Википедии, дополнив её.

В статье не хватает ссылок на источники (см. рекомендации по поиску). Информация должна быть проверяема, иначе она может быть удалена. Вы можете отредактировать статью, добавив ссылки на авторитетные источники в виде сносок. (3 марта 2023)