Алгебра логики. задача из Гаврилов&Сапоженко

[Monz]

Задача:
Доказать, что если замкнутый класс в P2 имеет конечный базис, то всякий базис этого класса конечен.

Натолкните, пожалуйста, на мысль, где искать противоречие при доказательстве от обратного? Теорему Поста не использовать.

@темы: Дискретная математика

Comments

[Heor]

Противоречие надо искать в определении базиса. Собственно, вам нужно доказать, что если класс в Р2 имеет конечный базис, то его любой бесконечный базис будет противоречить определению базиса.
Так что возникает два вопроса:
1) Что называется базисом замкнутого класса в Р2?
2) И какой базис считается бесконечным, а какой конечным?

Попытка продолжения обсуждения задачи здесь:
eek.diary.ru/p152923322.htm