2014 dxdy logo

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

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




На страницу 1, 2, 3  След.
 
 ЛОГИКА. Метод резолюций
Сообщение25.01.2011, 20:37 
Аватара пользователя
$(A\rightarrow C)\rightarrow(\overline{A}\&B)\Rightarrow A \vee B$
необходимо доказать методом резолюций.. Вот ход решения
$\overline{\overline{A} \vee C}\vee \overline{A},B,\overline{A},\overline{B} \Rightarrow 0$
$A , \overline{C}\vee\overline{A},B,\overline{A},\overline{B} \Rightarrow 0$
    1) $A$
    2) $\overline{C} \vee \overline{A}$
    3) $B$
    4) $\overline{A}$
    5) $\overline{B}$
    6) 0 (4 и 1)
Прошу проверить это решение, очень сомневаюсь в его правильности

 
 
 
 Re: ЛОГИКА. Метод резолюций
Сообщение25.01.2011, 21:59 
Аватара пользователя
Мне кажется все верно.

 
 
 
 Re: ЛОГИКА. Метод резолюций
Сообщение25.01.2011, 22:04 
Аватара пользователя
мне тоже.. но я советовалась с преподавателем одним. и она сомневалась в правильности.. и я начала тоже сомневаться.. уж слишком просто все вышло
попробую сформулировать то, что возможно неправильно..
$\overline{\overline{A} \vee C}\vee \overline{A},B,\overline{A},\overline{B} \Rightarrow 0$
$A , \overline{C}\vee\overline{A},B,\overline{A},\overline{B} \Rightarrow 0$
Когда я делала эти преобразования, возник вопрос, можно ли так грубо отделить запятыми в ходе преобразований данное выражение - $\overline{\overline{A} \vee C}\vee \overline{A}$.. Оно же как бы едино, а я разбила на части.. вот не знаю
P.S.sorry, если я некорректно сформулировала..

 
 
 
 Re: ЛОГИКА. Метод резолюций
Сообщение25.01.2011, 22:19 
Аватара пользователя
Значит такой пример легкий. Я не могу найти ошибки.А что смутило преподавателя, который Вас консультировал?

 
 
 
 Re: ЛОГИКА. Метод резолюций
Сообщение25.01.2011, 22:25 
Аватара пользователя
вот я это пыталась сформулировать

 
 
 
 Re: ЛОГИКА. Метод резолюций
Сообщение25.01.2011, 22:30 
Аватара пользователя
Вы же не просто отделяете "запятыми". "Запятая" - это конъюнкция.
Я считаю, что вы решили верно.

 
 
 
 Re: ЛОГИКА. Метод резолюций
Сообщение25.01.2011, 22:41 
Аватара пользователя
спасибо за помощь :)

 
 
 
 Re: ЛОГИКА. Метод резолюций
Сообщение27.01.2011, 14:30 
Аватара пользователя
Хочу сказать, что в решении действительно есть ошибка.. если нужно могу написать правильное решение..

 
 
 
 Re: ЛОГИКА. Метод резолюций
Сообщение27.01.2011, 15:13 
Аватара пользователя
Конечно, напишите. Можете не приводить решение полность, а только укажите на ошибку.

 
 
 
 Re: ЛОГИКА. Метод резолюций
Сообщение27.01.2011, 15:31 
Аватара пользователя
$ \overline{\overline{A} \vee C} \vee \overline{A} \& B \Rightarrow A \vee B$
$ A \& \overline{C} \vee \overline{A} \& B \Rightarrow A \vee B$
$ A \vee B, \overline{A} \vee \overline{C},B \vee \overline{C}, \overline{A}, \overline{B} \Rightarrow 0$
была ошибка в этих преобразованиях..
1) $A \vee B$
2) $\overline{A} \vee \overline{C}$
3) $B \vee \overline{C}$
4)$\overline{A}$
5)$\overline{B}$
6) А( 1 и 5)
7) 0

Вроде бы так..

-- Чт янв 27, 2011 15:43:31 --
Если можно помогите с ещё одним примером(это тоже метод резолюций) -
$ A \rightarrow B, C\rightarrow D, A \vee C, A \rightarrow \overline{D}, C \rightarrow \overline{B} \Rightarrow (A \vee B) \rightarrow (A \& B)$
$ \overline{A} \vee B, \overline{C} \vee D, A \vee C, \overline{A}\vee \overline{D}, \overline{C} \vee \overline{B} \Rightarrow \overline{A\vee B} \vee A \& B$
в ходе преобразований я получила такое выражение
$ \overline{A} \vee B, \overline{C} \vee D, A \vee C, \overline{A}\vee \overline{D}, \overline{C} \vee \overline{B} , \overline{A}\& B \vee A \& \overline{B} \Rightarrow 0$
И что делать с этим дальше понятия не имею... (это тоже метод резолюций)

 
 
 
 Re: ЛОГИКА. Метод резолюций
Сообщение27.01.2011, 15:50 
Аватара пользователя
Спасибо, я понял где ошибся.

 
 
 
 Re: ЛОГИКА. Метод резолюций
Сообщение27.01.2011, 17:55 
Аватара пользователя
Это случайно не из Акимова задания?

 
 
 
 Re: ЛОГИКА. Метод резолюций
Сообщение27.01.2011, 18:13 
Аватара пользователя
Вроде оттуда.. нам методичку раздали.. но преподаватель,которая занималась со мной заметила,что из акимова

 
 
 
 Re: ЛОГИКА. Метод резолюций
Сообщение27.01.2011, 18:51 
Аватара пользователя
Вот это выражение
Di081 в сообщении #405288 писал(а):
$ \overline{A}\& B \vee A \& \overline{B}$
необходимо преобразовать к такому виду, чтобы вместо $\vee $ было $\& $ и наоборот

 
 
 
 Re: ЛОГИКА. Метод резолюций
Сообщение27.01.2011, 18:53 
Аватара пользователя
ясное дело,но как?

 
 
 [ Сообщений: 32 ]  На страницу 1, 2, 3  След.


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group