Объяснить вывод логики высказываний

@NezamovMark · Регистрация: 23.12.2015

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

Вопрос в следующем имеется часть дерева. рисунок 1, весь вопрос в последних 2-х строчках, интуитивно оно понятно (дерево делал сам) но преподаватель сказал объяснить как я вывел такое дело. что привело меня сюда....

@Том Ардер · 12.12.2016, 22:11

NezamovMark, мало желающих ломать глаза на "почерках".
Редактор формул

@NezamovMark · 12.12.2016, 22:15 **[ТС]**

В.& {A→B;¬B}⊢¬A {C→B;¬B}⊢¬C
{A→B;C→B;¬B}⊢¬A&¬C
{A→B;C→B;¬B}⊢¬(AvC)

@3D Homer · 16.12.2016, 16:57

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

В.& {A→B;¬B}⊢¬A {C→B;¬B}⊢¬C
{A→B;C→B;¬B}⊢¬A&¬C
{A→B;C→B;¬B}⊢¬(AvC)

Что именно утверждается или нужно объяснить про эти формулы?

@NezamovMark 0 / 0 / 0 Регистрация: 23.12.2015 Сообщений: 26
		1
	Объяснить вывод логики высказываний 12.12.2016, 15:33. Показов 560. Ответов 3 Метки нет (Все метки) Вопрос в следующем имеется часть дерева. рисунок 1, весь вопрос в последних 2-х строчках, интуитивно оно понятно (дерево делал сам) но преподаватель сказал объяснить как я вывел такое дело. что привело меня сюда.... 0

@Том Ардер $Эксперт по математике/физике$ 4216 / 3411 / 396 Регистрация: 15.06.2009 Сообщений: 5,818
	12.12.2016, 22:11	2
	NezamovMark, мало желающих ломать глаза на "почерках". Редактор формул 0

@NezamovMark 0 / 0 / 0 Регистрация: 23.12.2015 Сообщений: 26
	12.12.2016, 22:15 [ТС]	3
	В.& {A→B;¬B}⊢¬A {C→B;¬B}⊢¬C {A→B;C→B;¬B}⊢¬A&¬C {A→B;C→B;¬B}⊢¬(AvC) 0

@3D Homer $Эксперт по математике/физике$ 4720 / 3373 / 1077 Регистрация: 01.09.2014 Сообщений: 9,256
	16.12.2016, 16:57	4
	Сообщение от NezamovMark В.& {A→B;¬B}⊢¬A {C→B;¬B}⊢¬C {A→B;C→B;¬B}⊢¬A&¬C {A→B;C→B;¬B}⊢¬(AvC) Что именно утверждается или нужно объяснить про эти формулы? 0

Опции темы