Язык ДРАКОН и неклассическая логика высказыванийО неклассической логике высказываний я впервые доложил на Научном семинаре в Институте системного программирования Российской академии наук 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Основные положения неклассической логики высказыванийЗапрещено использовать:
▪ Пропозициональные переменные
▪ Пропозициональные связки & ∨ ¬ (И, ИЛИ, НЕ)
▪ Слова «Истина» и «Ложь». Вместо них «Да» и «Нет»
Какова цель этих запретов?
Цель — превратить сложное в простое,
превратить ТРУДНОЕ для понимания в ЛЕГКОЕ для понимания.
Иными словами,
облегчить логическое мышление людей и сократить число человеческих ошибок
Вход
FAQ
Поиск
