Матлог

[Nayfer]

Необходима помощь в решении зачетной задачи, формулировка:
Пусть Г - такое множество предложений сигнатуры Е, что для любой алгебраической системы М сигнатуры Е существует предложение Ф из Г, истинное на М. Показать, что существует такое конечное множество {Ф1,...,Фn} лежащее в Г, что предложение (Ф1\/(Ф2\/...\/Фn)...) - тождественно истинная формула.
Я думаю, что это множество должно быть бесконечным, и не могу доказать его конечность.

[Karan]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
по следующим причинам:

- неправильно набраны формулы (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы);

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.