Из множества всех истинных в N формул сигнатуры не выводится формула:

вопрос

Правильный ответ:

Оставить комментарий

Отправить

• # Тавтологией является формула (A,B - формулы):
• # Утверждение выполнимо только тогда, когда выполнимо:
• # Если отрицание замкнутой формулы общезначимо, то она:
• # Вопрос о выводимости произвольных формул языка первого порядка:
• # Если А - бесконечная нормальная интерпретация сигнатуры S с равенством ,, то нормальное элементарное расширение мощности m: