Вывести высказывание из системы аксиом

@kazakerman · Регистрация: 20.12.2016

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

¬A→(BvC),¬AvC,¬B⊢C помогите разобраться как решить

@Ellipsoid · 20.12.2016, 19:13

Где тут высказывание? И где система аксиом?

@kazakerman · 21.12.2016, 05:10 **[ТС]**

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

@Ellipsoid · 21.12.2016, 11:51

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

сделал вывод, что это аксиомы

Это не аксиомы, а посылки и следствие.

@kazakerman 0 / 0 / 0 Регистрация: 20.12.2016 Сообщений: 2
		1
	Вывести высказывание из системы аксиом 20.12.2016, 18:33. Показов 564. Ответов 3 Метки нет (Все метки) ¬A→(BvC),¬AvC,¬B⊢C помогите разобраться как решить 0

@Ellipsoid 1891 / 1472 / 173 Регистрация: 16.06.2012 Сообщений: 3,342
	20.12.2016, 19:13	2
	Где тут высказывание? И где система аксиом? 0

@kazakerman 0 / 0 / 0 Регистрация: 20.12.2016 Сообщений: 2
	21.12.2016, 05:10 [ТС]	3
	преподаватель сказал решить используя метод резолюций, но я не знаю как это решить, прочитав уйму материала сделал вывод, что это аксиомы, если вы знаете как решить с помощью метода резолюций, буду весьма благодарен 0

@Ellipsoid 1891 / 1472 / 173 Регистрация: 16.06.2012 Сообщений: 3,342
	21.12.2016, 11:51	4
	Сообщение от kazakerman сделал вывод, что это аксиомы Это не аксиомы, а посылки и следствие. 0

Опции темы