Решить две секвенции до аксиом

@Lis0006 · Регистрация: 15.04.2016

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

Здравствуйте, можете помочь пожалуйста решить эти 2 секвенции до аксиом. Подробно объясняя

@3D Homer · 09.02.2017, 19:46

См. этот пост.

Сообщение от Lis0006

можете помочь пожалуйста решить эти 2 секвенции до аксиом. Подробно объясняя

Я предлагаю другие условия. Вы подробно объясняете, какие аксиомы, правила вывода и уже доказанные теоремы у вас есть (желательно, откуда они взяты), а также какие сложности у вас возникли при решении данной задачи, а я даю небольшие подсказки.

@Lis0006 · 09.02.2017, 20:41 **[ТС]**

Формулы
И вот на чем я встал

@3D Homer · 09.02.2017, 21:27

Не очень осмысленная секвенция, но вот.

$https://www.cyberforum.ru/cgi-bin/latex.cgi?\frac{\frac{\frac{A\wedge(B\wedge C),B\vdash A\wedge(B\wedge C)}{A\wedge(B\wedge C),B\vdash A}}{A\wedge(B\wedge C)\vdash B\to A}\quad\frac{\frac{A\wedge(B\wedge C),C\vdash A\wedge(B\wedge C)}{A\wedge(B\wedge C),C\vdash A}}{A\wedge(B\wedge C)\vdash(C\to A)}}{A\wedge(B\wedge C)\vdash(B\to A)\wedge(C\to A)}$

@Lis0006 0 / 0 / 0 Регистрация: 15.04.2016 Сообщений: 4
		1
	Решить две секвенции до аксиом 09.02.2017, 19:00. Показов 593. Ответов 3 Метки нет (Все метки) Здравствуйте, можете помочь пожалуйста решить эти 2 секвенции до аксиом. Подробно объясняя Миниатюры 0

@3D Homer $Эксперт по математике/физике$ 4765 / 3410 / 1087 Регистрация: 01.09.2014 Сообщений: 9,334
	09.02.2017, 19:46	2
	См. этот пост. Сообщение от Lis0006 можете помочь пожалуйста решить эти 2 секвенции до аксиом. Подробно объясняя Я предлагаю другие условия. Вы подробно объясняете, какие аксиомы, правила вывода и уже доказанные теоремы у вас есть (желательно, откуда они взяты), а также какие сложности у вас возникли при решении данной задачи, а я даю небольшие подсказки. 0

@Lis0006 0 / 0 / 0 Регистрация: 15.04.2016 Сообщений: 4
	09.02.2017, 20:41 [ТС]	3
	Формулы И вот на чем я встал Миниатюры 0

@3D Homer $Эксперт по математике/физике$ 4765 / 3410 / 1087 Регистрация: 01.09.2014 Сообщений: 9,334
	09.02.2017, 21:27	4
	Не очень осмысленная секвенция, но вот. $https://www.cyberforum.ru/cgi-bin/latex.cgi?\frac{\frac{\frac{A\wedge(B\wedge C),B\vdash A\wedge(B\wedge C)}{A\wedge(B\wedge C),B\vdash A}}{A\wedge(B\wedge C)\vdash B\to A}\quad\frac{\frac{A\wedge(B\wedge C),C\vdash A\wedge(B\wedge C)}{A\wedge(B\wedge C),C\vdash A}}{A\wedge(B\wedge C)\vdash(C\to A)}}{A\wedge(B\wedge C)\vdash(B\to A)\wedge(C\to A)}$ 0

Опции темы