Даны функциональная константа, предикатная константа и определённое количество аксиом. Как построить модель

@~~ohidano~~ · 14.12.2016, 20:38. **Показов** 963. **Ответов** 5

Author24 — интернет-сервис помощи студентам

Даны функциональная константа, предикатная константа и определённое количество аксиом. Как построит модель?

@Ellipsoid · 14.12.2016, 21:26

А что такое модель?

@~~ohidano~~ · 15.12.2016, 00:36 **[ТС]**

Модель теории - модель множества формул этой теории. Модель формулы - интерпретация формулы результирующая истинной. Правильно?

@3D Homer · 16.12.2016, 16:52

Вас интересует модель конкретных аксиом или общий метод построения модели?

@~~ohidano~~ · 16.12.2016, 21:28 **[ТС]**

Общий метод.

@3D Homer · 16.12.2016, 22:40

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

@~~ohidano~~ Заблокирован
		1
	Даны функциональная константа, предикатная константа и определённое количество аксиом. Как построить модель 14.12.2016, 20:38. Показов 963. Ответов 5 Метки нет (Все метки) Даны функциональная константа, предикатная константа и определённое количество аксиом. Как построит модель? 0

@Ellipsoid 1891 / 1472 / 173 Регистрация: 16.06.2012 Сообщений: 3,342
	14.12.2016, 21:26	2
	А что такое модель? 1

@~~ohidano~~ Заблокирован
	15.12.2016, 00:36 [ТС]	3
	Модель теории - модель множества формул этой теории. Модель формулы - интерпретация формулы результирующая истинной. Правильно? 0

@3D Homer $Эксперт по математике/физике$ 5000 / 3612 / 1162 Регистрация: 01.09.2014 Сообщений: 9,763
	16.12.2016, 16:52	4
	Вас интересует модель конкретных аксиом или общий метод построения модели? 1

@~~ohidano~~ Заблокирован
	16.12.2016, 21:28 [ТС]	5
	Общий метод. 0

@3D Homer $Эксперт по математике/физике$ 5000 / 3612 / 1162 Регистрация: 01.09.2014 Сообщений: 9,763
	16.12.2016, 22:40	6
	Не существует алгоритма, который в общем случае определяет, является ли множество формул совместным, то есть есть ли у него модель. Вообще говоря, нужно знать количество аргументов функционального и предикатного символа и есть ли в сигнатуре равенство. Некоторые разрешимые и неразрешимые задачи описаны в Википедии. Поэтому, мне кажется, размышления в сторону общего метода построения модели являются бесперспективными. 1