Козлов Владимир Петрович : другие произведения.

Комментарии: Логическое исчисление
 ()

Самиздат: [Регистрация] [Найти] [Рейтинги] [Обсуждения] [Новинки] [Обзоры] [Помощь|Техвопросы]
  • © Copyright Козлов Владимир Петрович (vldkvp@gmail. com)
  • Размещен: 03/03/2024, изменен: 03/03/2024. 4k. Статистика.
  • Статья: Естествознание
    		• ОБСУЖДЕНИЯ: Естествознание (последние)
    12:22 Ролько Т., Юрцва "Принудительная геометрия Вселенной" (129/1)
    12:02 Ролько Т. "Полуправда Нобелевской Премии " (88/1)
    11:11 Ролько Т., Юрцва "Трансформации электрона и " (300/1)
    06:57 Инская А. "Эмиль Куэ, или Веревочка с " (84/1)
    Добавить комментарий Отсортировано по:[убыванию][возрастанию]
    ОБЩИЕ ГОСТЕВЫЕ:
    17:22 "Форум: Трибуна люду" (23/22)
    17:20 "Форум: все за 12 часов" (234/101)
    16:57 "Технические вопросы "Самиздата"" (562/1)
    28/02 "Диалоги о Творчестве" (119)
    20/02 "Форум: Литературные объявления" (667)
    25/11 "О блокировании "Самиздата"" (294)
    ОБСУЖДЕНИЯ: (все обсуждения) (последние)
    17:20 Сияние "Хохлюшкин. По жизни я промчался " (3/2)
    17:19 Байр Т. "Что-то Не Так..." (130/3)
    17:18 Седрик "Список фанфиков с моими комментариями" (82/10)
    17:15 Чваков Д. "Всадник на белом пепелаце" (9/8)
    17:07 Russischer A. "Я начинаю путь..." (48/1)
    17:05 Чернов К.Н. "Записки Империалиста Книга " (521/20)
    17:03 Николаев М.П. "Телохранители" (701/7)
    17:01 Нейтак А.М. "Pro et contra, or The way " (398/4)
    17:01 Русанов В. "Горячие ветры севера. Рассветный " (127/1)
    17:00 Симонов С. "Проект советской космической " (968/1)
    16:57 Самиздат "Технические вопросы "Самиздата"" (562/1)
    16:57 Баламут П. "Ша39 Артиллерия" (818/16)
    16:55 Вологодская Е.Х. "Баллада о менестреле" (2/1)
    16:54 Лотов А.А. "Новая парадигма мировоззрения" (47/1)
    16:45 Уралов А. "Несчастные в Ссср" (124/1)
    16:44 Бурланков Н.Д. "О роли личности Сталина в " (612/28)
    16:36 Тимман "Зк-13. Загадка трех тел" (9/8)
    16:33 Нульманн "Low Light Reverie" (1)
    16:29 Логинов Н.Г. "Бог хитёр..." (19/2)
    16:09 Сударева И. "Порча" (4)

    РУЛЕТКА:
    "В бой идут..."
    Летописи Дорна -
    Поездка на телеге
    Рекомендует Печальный И.

    ВСЕГО В ЖУРНАЛЕ:
     Авторов: 108900
     Произведений: 1681205

    Список известности России

    СМ. ТАКЖЕ:
    Заграница.lib.ru     | Интервью СИ
    Музыка.lib.ru | Туризм.lib.ru
    Художники | Звезды Самиздата
    ArtOfWar | Okopka.ru
    Фильм про "Самиздат"
    Уровень Шума:
    Интервью про "Самиздат"

    НАШИ КОНКУРСЫ:
    Рождественский детектив-24


    01/03 ПОЗДРАВЛЯЕМ:
     Абликов С.В.
     Андреев О.И.
     Антонов М.А.
     Артемьев Р.
     Аскарова Р.
     Баранов А.D.
     Безрукова Н.А.
     Безусяк А.Ю.
     Белянский Е.И.
     Беркут А.
     Блэкфорд Э.
     Бродский Д.Ш.
     Вальтер А.
     Варназова Н.А.
     Васечкин
     Ветус М.А.
     Власова А.
     Воздушная З.
     Волохов В.А.
     Гавриленко Д.С.
     Гезалян И.А.
     Гусева А.Н.
     Гущина А.А.
     Дятлова В.
     Елистратова А.В.
     Елуфимова Е.
     Ёрш Н.
     Жигальцов С.И.
     Завoйчинская М.
     Зардалова А.К.
     Захарова Т.А.
     Казанцева М.С.
     Кальченко В.
     Капитанова К.Ю.
     Качин М.
     Клименко С.Н.
     Козлов В.П.
     Костюк Н.
     Краснова Г.В.
     Круглов А.В.
     Крутков Э.П.
     Ксенжик С.М.
     Кузнецова Г.В.
     Куливацкий И.В.
     Ламакин С.А.
     Леванов М.
     Леди Б.
     Леоненко Д.А.
     Лепшин-Дужников В.Ф.
     Луганцев О.
     Мазуров Л.В.
     Макс А.
     Мандриков Д.А.
     Мартиросян Т.А.
     Маусович А.
     Милосердная И.
     Минькова М.
     Митрофанова Г.В.
     Мышлявцев Б.А.
     Оганисян А.А.
     Олемира С.
     Перьев П.А.
     Петровская Л.Н.
     Пинигин М.А.
     Пинигин М.А.
     Порохова А.А.
     Разум
     Редкий В.В.
     Реин
     Рытов В.Г.
     Саенко А.П.
     Селезнева Ю.В.
     Синяков Л.И.
     Спокойный Р.
     Старцев Д.
     Столюк О.Н.
     Столюк О.Н.
     Стоянова В.В.
     Стрельцов Е.
     Султанов А.И.
     Тик Р.
     Тил Э.
     Третьякова А.В.
     Трофимов А.Ю.
     Туся
     Уоррен Э.
     Уронин А.Б.
     Ушаков В.С.
     Ушаков В.
     Федулина О.
     Фоменко Е.Е.
     Харитонова С.Б.
     Харченко О.В.
     Черепанова Е.О.
     Черёмухин П.
     Чернецов Д.
     Черторыгин Н.Д.
     Шкуропацкий О.Н.
     Шлоссер И.В.
     Этери А., Этери О.
     Юрьева С.
     Aquamarin
     Marabundas C.
     Mock S.
     Setyrion
     Smith E.
    ПОСЛЕДНИЕ ПОСТУПЛЕНИЯ: (7day) (30day) (Рассылка)
    08:51 Иванов Д.В. "Хроники Придурков - Книга "
    07:51 Piaf "Возникновение"
    27/02 Судатов С.В. "2024г Зв-На краю галактики - "
    1. *Козлов Владимир Петрович (vldkvp@gmail. com) 2024/03/03 14:57 [ответить]
      Теперь уже выяснилась некоторая определенная связь двузначной классической логики с логикой предикатов,или также более явно,логики высказываний с логикой силлогизмов .То есть классическая бинарная логика представляет по существу ту же самую логику предикатов,но как бы в некотором урезанном виде,то есть как некоторая ее часть,если при этом убрать неопределенный квантор "некоторые ",выраженный в логике предикатов как выражение "существует такой-то элемент " .То же будет представлять и логика высказываний по отношению к логике силлогизмов ,которая по существу будет той же самой силлогистической теорией ,в которой сократили или убрали из применения неопределеннный квантор "некоторые ",а квантор "все " просто не записывается ,но подразумевается,обозначая только ,что данный объект существует в наличии ,или имеется, присутствует ,в отличии от квантора "отрицания ",обозначающего отрицание или отсутствие данного объекта .То же и в двузначной логике ,квантор "все" не обозначен ,но имееется ввиду .Таким образом обнаруживается некоторая единая связующая нить между двумя разновидностями логик,представленных старейшими,возникших в древности,и новейшими ,полученных в современной математике.Остается только оформить математически .Но и этого недостаточно,так как нужна еще при этом графическая наглядность .В этом,полагаю, может несомненно помочь теория множеств с ее пересекающимися и закрашенными кругами ,наглядно показывающие или демонстрирующие различные теоретико-множественные операции ,такие как объединение,пересечение ,включение и так далее .Но при этом считаю необходимо немного иначе видоизменить теорию множеств ,достаточно посчитав ,что операция пересечения множеств может включаться как часть в операцию объединения множеств,а операцию включения множеств считать разновидностью операции пересечения множеств .Ну,а совмещение множеств будет одновременно в себе сочетать и объединение,и пересечение и включение соответствующих множеств .Тогда логические формулы можно проще простого отображать на диаграммах данной преобразованной теории множеств ,без всякого ущерба в логическом осмыслении или недопонимании той или иной операции ,которая характерна для той или иной логической теории .

    Связаться с программистом сайта.

    Новые книги авторов СИ, вышедшие из печати:
    О.Болдырева "Крадуш. Чужие души" М.Николаев "Вторжение на Землю"

    Как попасть в этoт список

    Кожевенное мастерство | Сайт "Художники" | Доска об'явлений "Книги"