LINUX.ORG.RU
Форум — Talks  

логика высказаваний: задача


0

0

купил себе книжку: системы искусственного интеллекта,

там в одной из глав рассказывается о логике высказаваний,
и предлагается пара задач, одну из них никак не могу решить, а хочется узнать ответ.

Задача:
дано:
есть аксиомы
1)m1->(m2->m1)
2)(m1->(m2->m3))->((m1->m2)->(m1->m3))
3)(!m2->!m1)->(m1->m2)

и правило вывода
из (m1) и (m1->m2) вытекает m2

оперделение &:
!(m1->!m2)
определение эквивалентности:
(m1->m2)&(m2->m1)

доказать что:
p эквивалентна !!p

может в инете книжку где-нибудь можно надыбить где эта задача решена?

anonymous

тебе нужно про исчисление высказывание, вроде бы.

hateful_dead
()

А в чем не получается? Цепочку вывода не можешь построить или вообще не представляешь как решать?

zaregazza
()
Ответ на: комментарий от zaregazza

>Цепочку вывода не можешь построить или вообще не >представляешь как решать?

первое

anonymous
()
Ответ на: комментарий от anonymous

>Мендельсон "Введение в математическую логику".

ага, Мендельсону хорошо,
он к "моим" трем аксиомам прибавил еще 7,
в том числе и
!!p->p

любой идиот таким макаром все сделает

anonymous
()
Ответ на: комментарий от anonymous

Ты не там смотрел. Посмотри на стр 38-40. Там есть пример доказательства и более простые упражнения, на основе которых легче доказать твою теорему.

anonymous
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.
Talks