математическая логика

[shur_26]

методом резолюций доказать A → B, A → (C v D), D → (E&F), B → G => (C & -F) → (-E & G)
не знаю с чего начинать помогите!!!!!!!!!

[mkot]

Для начала, то что слева от вашего значка => приведите к конъюнктивной нормальной форме, а от того что справа сначала возьмите отрицание, а затем тоже приведите к конъюнктивной нормальной форме.

(Хотя лучше сначала поймите, что делает метод резолюций, для чего он нужен, и на чём основан.)

[shur_26]

Получила вот что,
а дальше


-А\/-А\/-Е\/-Е

[mkot]

shur_26 в сообщении #382049 писал(а):

Получила вот что,
а дальше


-А\/-А\/-Е\/-Е

В некотором смысле это и должно было получиться, ведь
если положить $A=B=D=E=F=G=0$ и $C=1$ то можно заметить, что доказываемой выводимости и нет.
Осталось понять, что раз пустой дизъюнкт не выводим, то и ...
Если конечно нет ошибки в условии.

[shur_26]

С помощью таблицы истинности нашли МНФ, минимальное и все трансверсальные покрытия.Из таблицы видно, что четыре единицы обобщенной посылки (Р) не покрываются единицами ложного следствия (-Е); единицы же истинного следствия (Е -> (В & D)) целиком накрывают единицы обобщенной посылки.
В некотором смысле это и должно было получиться, ведь
если положить и то можно заметить, что доказываемой выводимости и нет.
Осталось понять, что раз пустой дизъюнкт не выводим, то и МНОЖЕСТВО ДИЗЪЮНКТОВ ЛОГИКИ ВЫСКАЗЫВАНИЙ НЕВЫПОЛНИМО.
Если конечно нет ошибки в условии.

-- Ср дек 01, 2010 22:32:29 --

Увеличение денег в обращении влечет за собой инфляцию. Но рост денежной массы происходит по двум причинам: из-за денежной эмиссии или снижения товарооборота. Снижение товарооборота приводит к безработице и спаду производства. Из-за инфляции падает курс денежной единицы. Рекомендации экономиста Иванова: увеличить денежную эмиссию и поднять производство, тогда избежим безработицы и курс денежной единицы останется неизменным.
Можно составить следующую клаузу:
A → B, A → (C v D), D → (E&F), B → G => (C & -F) → (-E & G)
Введем обозначения:
A – Увеличение денег (денежная масса, курс денежной единицы);
B – Инфляция;
C – Денежная эмиссия;
D – Снижение товарооборота;
E – Безработица;
F – Спад производства;
G – курс денежной единицы.
Увеличение денег в обращении влечет за собой инфляцию (A → B). Но рост денежной массы происходит по двум причинам: из-за денежной эмиссии или снижения товарооборота (A → (C v D)). Снижение товарооборота приводит к безработице и спаду производства (D → (E&-F)).
Из-за инфляции падает курс денежной единицы (B → G). Рекомендации экономиста Иванова: увеличить денежную эмиссию и поднять производство(C & F), тогда избежим безработицы и курс денежной единицы останется неизменным (-E & G
Верно ли составлена клауза?

[mkot]

shur_26 в сообщении #382486 писал(а):

Но рост денежной массы происходит по двум причинам: из-за денежной эмиссии или снижения товарооборота (A → (C v D)).

Кто кого влечёт?

[shur_26]

Значит, всё таки нужно вот так((C & D)→ A). в этом ошибка?

-- Чт дек 02, 2010 16:37:00 --

и всё равно получается C\/C\/F\/F

[mkot]

(Оффтоп)

Конечно уже поздно что-либо говорить, но вчера, засыпая, я вспомнил, где я это видел. Поэтому к топикстартеру следующая просьба. Если это пример из Дискретной математики Акимова, то, пожалуйста, облейте эту книжку бензином и сожгите.