Вывести эту формулу в теории исчисления высказываний

@alextor94 · Регистрация: 01.07.2012

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

U->B, P->Q |- (U^P)->(B^Q) помогите пожалуйста решить, срочно нужно

vetvet · 02.07.2012, 20:47

Решить что? Задание где?

@alextor94 · 02.07.2012, 21:02 **[ТС]**

U $https://www.cyberforum.ru/cgi-bin/latex.cgi?\rightarrow$ B, P $https://www.cyberforum.ru/cgi-bin/latex.cgi?\rightarrow$ Q $https://www.cyberforum.ru/cgi-bin/latex.cgi?\vdash$ (U $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bigcap$ P) $https://www.cyberforum.ru/cgi-bin/latex.cgi?\rightarrow$ (B $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bigcap$ Q)
вот этот пример по дискретной математике

vetvet · 02.07.2012, 21:18

Это просто формула, а не пример. Я у вас попросила написать задание полностью.

@alextor94 · 02.07.2012, 21:26 **[ТС]**

нужно вывести эту формулу

Psilon · 02.07.2012, 21:37

alextor94, это пример по математической логике (судя по значку теоремы). Я щас порешаю, хотите ждите, хотите решите сами, там надо по системе лог. аксиом из 10 штук которая.

vetvet · 02.07.2012, 21:42

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

там надо по системе лог. аксиом из 10 штук которая.

Так даже этих систем несколько разных существует, в том-то и дело. И методов доказательства выводимости несколько.

Я по-этому и просила полностью привести задание.

@alextor94 · 02.07.2012, 21:48 **[ТС]**

Psilon, я подожду

Psilon · 02.07.2012, 21:49

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

vetvet · 02.07.2012, 21:55

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

тут легче методом резолюций решить

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

Psilon · 02.07.2012, 22:04

vetvet, в задании не обязательно должно быть что-либо указано. Иногда бывает, но это, скорее, послабление. У нас например, билеты по матлогике были ппц (еле сдал, 2 недел назад). НУ и посмотрите, написано ли в задачах, каким методом решать?)

vetvet · 02.07.2012, 22:10

Psilon, тогда Вы можете выбрать любой удобный для Вас. Так что и метод резолюций сойдёт

Добавлено через 2 минуты

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

НУ и посмотрите, написано ли в задачах, каким методом решать?

В одной задаче точно написано "методом резолюций доказать выводимость".

Psilon · 02.07.2012, 22:17

vetvet, в одной на 10, не в каждой же

@alextor94 · 03.07.2012, 12:51 **[ТС]**

можете методом резолюций решить?

Psilon · 03.07.2012, 13:41

alextor94, дак уже решил ведь, посмотрите предыдущую страницу.

@alextor94 · 03.07.2012, 17:25 **[ТС]**

Psilon, можете ещё каким нибудь методом решить?

Psilon · 03.07.2012, 17:43

alextor94, а этот чем не устраивает?

@alextor94 · 03.07.2012, 18:27 **[ТС]**

Psilon, просто преподу другой нужен
как вот этот

Psilon · 03.07.2012, 18:44

alextor94, это и есть ваша задача, только замените P на U, Q на B, R на P, S на Q. Проблем-то. Но резолюциями гораздо проще, мне, по крайней мере.

vetvet · 03.07.2012, 18:48

Не по теме:

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

Psilon, просто преподу другой нужен
как вот этот

Это и нужно было сразу указывать. Я ведь спрашивала...

@alextor94 0 / 0 / 0 Регистрация: 01.07.2012 Сообщений: 15
	03.07.2012, 12:51 [ТС]	14
	можете методом резолюций решить? 0

Psilon Master of Orion 6096 / 4952 / 905 Регистрация: 10.07.2011 Сообщений: 14,522 Записей в блоге: 5
	03.07.2012, 13:41	15
	alextor94, дак уже решил ведь, посмотрите предыдущую страницу. 0

@alextor94 0 / 0 / 0 Регистрация: 01.07.2012 Сообщений: 15
	03.07.2012, 17:25 [ТС]	16
	Psilon, можете ещё каким нибудь методом решить? 0

Psilon Master of Orion 6096 / 4952 / 905 Регистрация: 10.07.2011 Сообщений: 14,522 Записей в блоге: 5
	03.07.2012, 18:44	19
	alextor94, это и есть ваша задача, только замените P на U, Q на B, R на P, S на Q. Проблем-то. Но резолюциями гораздо проще, мне, по крайней мере. 2

vetvet Змеюка одышечная 9863 / 4594 / 178 Регистрация: 04.01.2011 Сообщений: 8,556
	02.07.2012, 20:47	2
	Решить что? Задание где? 0

@alextor94 0 / 0 / 0 Регистрация: 01.07.2012 Сообщений: 15
	02.07.2012, 21:02 [ТС]	3
	U $https://www.cyberforum.ru/cgi-bin/latex.cgi?\rightarrow$ B, P $https://www.cyberforum.ru/cgi-bin/latex.cgi?\rightarrow$ Q $https://www.cyberforum.ru/cgi-bin/latex.cgi?\vdash$ (U $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bigcap$ P) $https://www.cyberforum.ru/cgi-bin/latex.cgi?\rightarrow$ (B $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bigcap$ Q) вот этот пример по дискретной математике 0

vetvet Змеюка одышечная 9863 / 4594 / 178 Регистрация: 04.01.2011 Сообщений: 8,556
	02.07.2012, 21:18	4
	Это просто формула, а не пример. Я у вас попросила написать задание полностью. 0

@alextor94 0 / 0 / 0 Регистрация: 01.07.2012 Сообщений: 15
	02.07.2012, 21:26 [ТС]	5
	нужно вывести эту формулу 0

Psilon Master of Orion 6096 / 4952 / 905 Регистрация: 10.07.2011 Сообщений: 14,522 Записей в блоге: 5
	02.07.2012, 21:37	6
	alextor94, это пример по математической логике (судя по значку теоремы). Я щас порешаю, хотите ждите, хотите решите сами, там надо по системе лог. аксиом из 10 штук которая. 0

vetvet Змеюка одышечная 9863 / 4594 / 178 Регистрация: 04.01.2011 Сообщений: 8,556
	02.07.2012, 21:42	7
	Сообщение от Psilon там надо по системе лог. аксиом из 10 штук которая. Так даже этих систем несколько разных существует, в том-то и дело. И методов доказательства выводимости несколько. Я по-этому и просила полностью привести задание. 0

@alextor94 0 / 0 / 0 Регистрация: 01.07.2012 Сообщений: 15
	02.07.2012, 21:48 [ТС]	8
	Psilon, я подожду 0

Psilon Master of Orion 6096 / 4952 / 905 Регистрация: 10.07.2011 Сообщений: 14,522 Записей в блоге: 5
	02.07.2012, 21:49	9
	vetvet, и так понятно. Доказать что из левой части следует правая (если видите, значек теоремы, т повернутая). Вот доказательство (немножко ошибся, тут легче методом резолюций решить): Миниатюры 2

vetvet Змеюка одышечная 9863 / 4594 / 178 Регистрация: 04.01.2011 Сообщений: 8,556
	02.07.2012, 21:55	10
	Сообщение от Psilon тут легче методом резолюций решить Вот и я о том же: что методов много, и в задании должно быть указано, какой метод (или несколько) нужно применить. 0

vetvet Змеюка одышечная 9863 / 4594 / 178 Регистрация: 04.01.2011 Сообщений: 8,556
	02.07.2012, 22:10	12
	Psilon, тогда Вы можете выбрать любой удобный для Вас. Так что и метод резолюций сойдёт Добавлено через 2 минуты Сообщение от Psilon НУ и посмотрите, написано ли в задачах, каким методом решать? В одной задаче точно написано "методом резолюций доказать выводимость". 0

Опции темы

Psilon Master of Orion 6096 / 4952 / 905 Регистрация: 10.07.2011 Сообщений: 14,522 Записей в блоге: 5
	02.07.2012, 22:17	13
	vetvet, в одной на 10, не в каждой же 0

Psilon Master of Orion 6096 / 4952 / 905 Регистрация: 10.07.2011 Сообщений: 14,522 Записей в блоге: 5
	03.07.2012, 17:43	17
	alextor94, а этот чем не устраивает? 0

@alextor94 0 / 0 / 0 Регистрация: 01.07.2012 Сообщений: 15
	03.07.2012, 18:27 [ТС]	18
	Psilon, просто преподу другой нужен как вот этот Миниатюры 0

vetvet
	03.07.2012, 18:48 Вывести эту формулу в теории исчисления высказываний #20
	Не по теме: Сообщение от alextor94 Psilon, просто преподу другой нужен как вот этот Это и нужно было сразу указывать. Я ведь спрашивала... 1