2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


В этом разделе нельзя создавать новые темы.

Если Вы хотите задать новый вопрос, то не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".

Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть удалены без предупреждения.

Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса обязан привести свои попытки решения и указать конкретные затруднения.

Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть удалена или перемещена в Карантин, а Вы так и не узнаете, почему.



Начать новую тему Ответить на тему На страницу Пред.  1, 2
 
 Re: Построение вывода.
Сообщение27.11.2013, 21:13 
Заслуженный участник


08/04/08
8556
Retard в сообщении #793523 писал(а):
но где взять B?
Ну вот чисто содержательно: у Вас дано $A\wedge (B\wedge C)$, у Вас есть аксиомы $F\wedge G\to F, F\wedge G\to G$ и Вы спрашиваете, откуда взять $B$?

 Профиль  
                  
 
 Re: Построение вывода.
Сообщение27.11.2013, 21:21 


23/10/13
46
Sonic86 в сообщении #793549 писал(а):
Retard в сообщении #793523 писал(а):
но где взять B?
Ну вот чисто содержательно: у Вас дано $A\wedge (B\wedge C)$, у Вас есть аксиомы $F\wedge G\to F, F\wedge G\to G$ и Вы спрашиваете, откуда взять $B$?


Но у нас же посылка $(A\wedge B)\wedge C$, использовать $A\wedge (B\wedge C)$ нельзя же, разве нет? Посылка $(A\wedge B)\wedge C$ получается же, когда мы из правой части переносим выражение. Затем строим вспомогательный вывод.

 Профиль  
                  
 
 Re: Построение вывода.
Сообщение27.11.2013, 21:26 
Заслуженный участник


27/04/09
28128
Распакуйте формулу до конца!

Из $X\wedge C$ вытащили $X$ и $C$, а из $A\wedge B$ (которое и есть $X$) почему нет?

 Профиль  
                  
 
 Re: Построение вывода.
Сообщение27.11.2013, 21:34 


23/10/13
46
arseniiv в сообщении #793559 писал(а):
Распакуйте формулу до конца!

Из $X\wedge C$ вытащили $X$ и $C$, а из $A\wedge B$ (которое и есть $X$) почему нет?


Ну получается же так?:

1)$(A \wedge B) \wedge C$ посылка
2)$(A \wedge B) \wedge C \to A \wedge B$ акс.4
3)$A \wedge B$ m.p.1 и 2
4)$(A \wedge B) \wedge C \to C$ акс.5
5)$C$ m.p. 1 и 4

 Профиль  
                  
 
 Re: Построение вывода.
Сообщение27.11.2013, 21:46 
Заслуженный участник


27/04/09
28128
Это всё вы уже делали на прошлой странице. А потом почему-то остановились и попытались собрать всё слишком рано.

 Профиль  
                  
 
 Re: Построение вывода.
Сообщение27.11.2013, 22:00 


23/10/13
46
arseniiv в сообщении #793571 писал(а):
Это всё вы уже делали на прошлой странице. А потом почему-то остановились и попытались собрать всё слишком рано.


Получается следующее действия такие?:
6)$A \wedge B \to B$
7)$B$

Если да, то нужно как-то соединить A и $B \wedge C$ ?

-- 28.11.2013, 02:15 --

Так?

1)$(A \wedge B) \wedge C$ посылка
2)$(A \wedge B) \wedge C \to A \wedge B$ акс.4
3)$A \wedge B$ m.p.1 и 2
4)$(A \wedge B) \wedge C \to C$ акс.5
5)$C$ m.p. 1 и 4
6)$A \wedge B \to B$
7)$B$
8)$A \wedge B \to A$
9)$A$
10)$C \to (B \to B \wedge C)$
11)$B \to B \wedge C$
12)$B \wedge C$
13)$A \to (B \wedge C \to A \wedge (B \wedge C))$
14)$B \wedge C \to A \wedge (B \wedge C)$
15)$A \wedge (B \wedge C)$

 Профиль  
                  
 
 Re: Построение вывода.
Сообщение28.11.2013, 00:03 
Заслуженный участник


27/04/09
28128
Retard в сообщении #793584 писал(а):
10)$C \to (B \to B \wedge C)$
11)$B \to B \wedge C$
Перепутали немного. Аксиомой будет $B \to (C \to B \wedge C)$, и в (11) будет поэтому $C \to B \wedge C$. Всё с соответствующими изменениями в применении modus ponens, конечно, которые расставляются механически — недаром вы их не писали в конце. :wink: Всё остальное верно.

Поздравляю! Для закрепления выведите какую-нибудь формулу поинтереснее (желательно общезначимую). :-)

 Профиль  
                  
 
 Re: Построение вывода.
Сообщение28.11.2013, 00:07 


23/10/13
46
arseniiv в сообщении #793634 писал(а):
Retard в сообщении #793584 писал(а):
10)$C \to (B \to B \wedge C)$
11)$B \to B \wedge C$
Перепутали немного. Аксиомой будет $B \to (C \to B \wedge C)$, и в (11) будет поэтому $C \to B \wedge C$. Всё с соответствующими изменениями в применении modus ponens, конечно, которые расставляются механически — недаром вы их не писали в конце. :wink: Всё остальное верно.

Поздравляю! Для закрепления выведите какую-нибудь формулу поинтереснее (желательно общезначимую). :-)


Ну, по сути это же не существенная ошибка?

З.Ы. Спасибо большое :)

 Профиль  
                  
 
 Re: Построение вывода.
Сообщение28.11.2013, 22:59 
Заслуженный участник


27/04/09
28128
Retard в сообщении #793636 писал(а):
Ну, по сути это же не существенная ошибка?
По сути, надеюсь, вы будете сдавать исправленный (и дополненный аннотациями, какое правило где применялось, ко всем строкам вывода) вариант. :-) Всякая ошибка по-своему существенна, иначе её бы ошибкой не признавали.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 24 ]  На страницу Пред.  1, 2

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group