Импликацию (если р, то q) можно утверждать, только если имеется такое построение, которое, будучи объединено с построением р, автоматически дает построение q. http://ariom.ru/wiki/IntuicionistskajaLogika
Дело в том, что такое определение импликации не позволяет утверждать бреда о Раскольникове. Услиенно ищу формальную запись аксиом интуиционистской логики (под рукой, к сожалению нет), найду, выложу. Буду признателен, если обладаете и поделитесь ссылкой.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2005-12-06 05:55 pm (UTC)Импликацию (если р, то q) можно утверждать, только если имеется такое построение, которое, будучи объединено с построением р, автоматически дает построение q.
http://ariom.ru/wiki/IntuicionistskajaLogika
Дело в том, что такое определение импликации не позволяет утверждать бреда о Раскольникове. Услиенно ищу формальную запись аксиом интуиционистской логики (под рукой, к сожалению нет), найду, выложу. Буду признателен, если обладаете и поделитесь ссылкой.