Видовое понятие
понятие, объем которого входит как (правильная) часть в объем другого (родового по отношению к нему) понятия.
в нем существует только один набор посылок, каждая из которых — необходимое, а все вместе — достаточное условие признание истинности доказываемого положения.
понятие, объем которого входит как (правильная) часть в объем другого (родового по отношению к нему) понятия.
необходимость выводить высказывания из других.
это упорядоченное множество М, взятое с двумя бинарными операциями: объединением и пересечением.