Используя метод резолюций для логики высказываний, доказать справедливость вывода для заданного множества

@Vladislav132 · Регистрация: 08.03.2016

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

Используя метод резолюций для логики высказываний, доказать справедливость вывода для заданного множества гипотез H={h1,h2,...,h_m} и следствия S:
(Вместо обычных скобок ,фигурные скобки)
$https://www.cyberforum.ru/cgi-bin/latex.cgi?H=(a\rightarrow \bar{b},c\rightarrow b,a),S=\bar{b}&\bar{c};$

@3D Homer · 18.12.2016, 18:41

Начинайте, мы поправим.

@Vladislav132 0 / 0 / 1 Регистрация: 08.03.2016 Сообщений: 18
		1
	Используя метод резолюций для логики высказываний, доказать справедливость вывода для заданного множества 18.12.2016, 17:28. Показов 2552. Ответов 1 Метки нет (Все метки) Используя метод резолюций для логики высказываний, доказать справедливость вывода для заданного множества гипотез H={h1,h2,...,h_m} и следствия S: (Вместо обычных скобок ,фигурные скобки) $https://www.cyberforum.ru/cgi-bin/latex.cgi?H=(a\rightarrow \bar{b},c\rightarrow b,a),S=\bar{b}&\bar{c};$ 0

@3D Homer $Эксперт по математике/физике$ 4771 / 3415 / 1088 Регистрация: 01.09.2014 Сообщений: 9,340
	18.12.2016, 18:41	2
	Начинайте, мы поправим. 0

Опции темы