DRAKON.SU
https://forum.drakon.su/

Язык ДРАКОН и неклассическая логика высказываний
https://forum.drakon.su/viewtopic.php?f=161&t=6113
Страница 1 из 1

Автор:  Владимир Паронджанов [ Воскресенье, 15 Октябрь, 2017 10:00 ]
Заголовок сообщения:  Язык ДРАКОН и неклассическая логика высказываний

Язык ДРАКОН и неклассическая логика высказываний

О неклассической логике высказываний я впервые доложил на Научном семинаре в Институте системного программирования Российской академии наук 19 мая 2017 года в докладе "Неклассическая теория алгоритмов и алгоритмический язык ДРАКОН".
См. Раздел 4. Визуальная логика
http://drakon.su/video_i_prezentacii/st ... zyk_drakon


См. видеозапись Доклада В.Д. Паронджанова, начиная с момента 49:55 (49 минут 55 секунд).
(Длительность видеоролика 2 часа 38 минут)
https://www.youtube.com/watch?v=MFPqCqcv7kY

Основные положения неклассической логики высказываний

Запрещено использовать:

▪ Пропозициональные переменные
▪ Пропозициональные связки & ∨ ¬ (И, ИЛИ, НЕ)
▪ Слова «Истина» и «Ложь». Вместо них «Да» и «Нет»

Какова цель этих запретов?

Цель — превратить сложное в простое,
превратить ТРУДНОЕ для понимания в ЛЕГКОЕ для понимания.

Иными словами, облегчить логическое мышление людей и сократить число человеческих ошибок

Автор:  LKom [ Воскресенье, 15 Октябрь, 2017 10:18 ]
Заголовок сообщения:  Re: Язык ДРАКОН и неклассическая логика высказываний

..

Автор:  Владимир Паронджанов [ Пятница, 15 Июнь, 2018 22:12 ]
Заголовок сообщения:  Re: Язык ДРАКОН и неклассическая логика высказываний

Подробнее см.
viewtopic.php?f=160&t=6262

Страница 1 из 1 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/