fixfix
2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Упражнение Мат.лог.
Сообщение20.03.2023, 15:32 


20/03/23
1
Доказать :
Для любой (конечной) многозначной логики $M$ существует подходящая аксиоматическая теория

Про многозначные логики в Мендельсоне упоминается в связи с доказательствами независимости аксиом, поэтому не разбираюсь тут.
Чёто я завис. Если задача показать, что можно обойтись конечным количеством схем аксиом, то непонятно что вообще можно сказать про правила вывода. Не хотят же от меня просто системы множество аксиом которой совпадает с множеством выделенных проп. форм :|

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ 1 сообщение ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: Shadow, Skipper


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group