Товарищы, помогите пожалуйста решить задачку.
Нужно проверить правильность рассуждения в логике предикатов:
Существует множество, такое, что любое множество является его подмножеством. Всякое множество является подмножеством некоторого множества. Следовательно, найдется множество, являющееся подмножеством самого себя.
Дискретная математика, Предикаты |