Доказать, что в исчислении высказываний L2

@Елена Митюкова · Регистрация: 09.10.2018

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

Доказать, что в исчислении высказываний L2
формула II+III=IIIII
Приложение:
Исчисление высказыванийL2.
Список термов исчисления: {I, +, =}
Правила образования формул:
а) I - формула;
б) если  - формула, то I - также формула;
в) если  и  - формулы, то  +  и  =  также формула.
Задана единственная аксиома I+I = II и
два правила вывода: а) если 1+I = 2 – выводимая формула, то 1I+I = 2I также выводимая формула; б) 1+2 = 3 – выводимая формула, то 1+2I = 3I – также выводимая формула.

@kabenyuk · 28.11.2018, 14:52

Сообщение от Елена Митюкова



Вот эти ваши прямоугольнички сильно мешают понять, что у вас тут написано.

Добавлено через 6 минут
Если я правильно вас понял, что очень непросто, то так вывод можно построить:
I+I=II (аксиома)
II+I=III (П1)
II+II=IIII (П2)
II+III=IIIII (П2)

@Елена Митюкова 0 / 0 / 0 Регистрация: 09.10.2018 Сообщений: 9
		1
	Доказать, что в исчислении высказываний L2 28.11.2018, 04:01. Показов 1763. Ответов 1 Метки нет (Все метки) Доказать, что в исчислении высказываний L2 формула II+III=IIIII Приложение: Исчисление высказыванийL2. Список термов исчисления: {I, +, =} Правила образования формул: а) I - формула; б) если  - формула, то I - также формула; в) если  и  - формулы, то  +  и  =  также формула. Задана единственная аксиома I+I = II и два правила вывода: а) если 1+I = 2 – выводимая формула, то 1I+I = 2I также выводимая формула; б) 1+2 = 3 – выводимая формула, то 1+2I = 3I – также выводимая формула. 0

@kabenyuk $Эксперт по математике/физике$ 4029 / 2998 / 908 Регистрация: 19.11.2012 Сообщений: 6,122
	28.11.2018, 14:52	2
	Сообщение было отмечено Елена Митюкова как решение Решение Сообщение от Елена Митюкова  Вот эти ваши прямоугольнички сильно мешают понять, что у вас тут написано. Добавлено через 6 минут Если я правильно вас понял, что очень непросто, то так вывод можно построить: I+I=II (аксиома) II+I=III (П1) II+II=IIII (П2) II+III=IIIII (П2) 1

Опции темы

Доказать, что в исчислении высказываний L2

Решение