Доказать, что во всяком исчислении высказываний следующие формулы будут теоремами

@studentosses · Регистрация: 24.11.2018

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

Доказать,что во всяком исчислении высказываний,в котором правилом вывода является правило МР и в котором справедлива теорема о дедукции,следующие формулы будут теоремами (выводы из аксиом),каковы бы ни были аксиомы этого исчисления:

(F->(F->G))->(F->G);

@3D Homer · 30.12.2019, 00:22

Вы пробовали применять теорему о дедукции и MP?

@studentosses 0 / 0 / 0 Регистрация: 24.11.2018 Сообщений: 19
		1
	Доказать, что во всяком исчислении высказываний следующие формулы будут теоремами 29.12.2019, 23:32. Показов 854. Ответов 1 Метки нет (Все метки) Доказать,что во всяком исчислении высказываний,в котором правилом вывода является правило МР и в котором справедлива теорема о дедукции,следующие формулы будут теоремами (выводы из аксиом),каковы бы ни были аксиомы этого исчисления: (F->(F->G))->(F->G); 0

@3D Homer $Эксперт по математике/физике$ 4765 / 3410 / 1087 Регистрация: 01.09.2014 Сообщений: 9,334
	30.12.2019, 00:22	2
	Вы пробовали применять теорему о дедукции и MP? 0

Опции темы