Кто знает как доказать

@Dramz · Регистрация: 21.12.2015

доказать a\/(b/\c), ((a->c)/\(b->c))->((a\/b)->c)|=a->(b->(a\/c))

@Ellipsoid · 22.12.2015, 00:39

Определение логического следования знаете? Действуйте от противного.

@Dramz · 22.12.2015, 00:54 **[ТС]**

я просто ничего не смыслю в этом

@Ellipsoid · 23.12.2015, 01:03

Сначала ознакомьтесь с определением логического следования.

@Dramz 0 / 0 / 0 Регистрация: 21.12.2015 Сообщений: 5
		1
	Кто знает как доказать 21.12.2015, 22:48. Просмотров 272. Ответов 3 Метки нет (Все метки) доказать a\/(b/\c), ((a->c)/\(b->c))->((a\/b)->c)\|=a->(b->(a\/c)) 0

@Ellipsoid 1885 / 1467 / 172 Регистрация: 16.06.2012 Сообщений: 3,334
	22.12.2015, 00:39	2
	Определение логического следования знаете? Действуйте от противного. 0

@Dramz 0 / 0 / 0 Регистрация: 21.12.2015 Сообщений: 5
	22.12.2015, 00:54 [ТС]	3
	я просто ничего не смыслю в этом 0

@Ellipsoid 1885 / 1467 / 172 Регистрация: 16.06.2012 Сообщений: 3,334
	23.12.2015, 01:03	4
	Сначала ознакомьтесь с определением логического следования. 0

Опции темы