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

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

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

Самиздат: [Регистрация] [Найти] [Рейтинги] [Обсуждения] [Новинки] [Обзоры] [Помощь|Техвопросы]

Размещен: 03/03/2024, изменен: 03/03/2024. 4k. Статистика.

ОБСУЖДЕНИЯ: Естествознание (последние)
10:48 Березина Е.Л. "Как-то юнга Дудочкин бросил " (5/4)
10:21 Nazgul "Медный купорос взрывается!" (671/1)
09:40 Ролько Т. "Гносеология наизнанку" (305/1)
09:13 Ролько Т., Юрцва "Трансформации электрона и " (298)

Добавить комментарий Отсортировано по:[убыванию][возрастанию]

ОБЩИЕ ГОСТЕВЫЕ: 17:14 "Технические вопросы "Самиздата"" (193/56) 17:13 "Форум: все за 12 часов" (373/101) 16:35 "Диалоги о Творчестве" (213/7) 16:35 "Форум: Трибуна люду" (853/24) 16:01 "Форум: Литературные объявления" (665/1) 25/11 "О блокировании "Самиздата"" (294)
ОБСУЖДЕНИЯ: (все обсуждения) (последние) 17:27 Rakot "Укуренный мир. Том 1" (23/1) 17:25 Ким В.В. "Минимально необходимое воздействие-" (104/9) 17:24 Юрченко С.Г. "Свет Беспощадный" (691/3) 17:22 Велигжанин А.В. "Гомер. Одиссея. Песня одиннадцатая" (29/1) 17:20 Ледовский В.А. "Сборник рассказов" (1) 17:17 Чернов К.Н. "Записки Империалиста Книга " (609/38) 17:17 Родин Д.М. "Князь Барбашин 3" (799/3) 17:14 Самиздат "Технические вопросы "Самиздата"" (193/56) 17:13 Юрьев О. "Когда будет 3-я или 4-я мировая " (3/2) 17:08 Мананникова И. "Про кошек и собак" (16/2) 17:06 Русова М. "Информация о владельце раздела" (12/4) 17:06 Могила М.В. "Попытаться поймать за хвост " (8/1) 17:04 Балаев П. "Расстрельные тройки кровавых " (123/5) 17:02 Буревой А. "Чего бы почитать?" (861/3) 17:01 Безбашенный "Запорожье - 1" (984/27) 17:01 Кротов С.В. "Чаганов: Война. Часть 4" (188/19) 17:00 Карелин Р.Ф. "Законы истории не ведут к " (3/2) 17:00 Энвэ М. "Некуда бежать, негде спрятаться " (209/4) 16:59 Трушников В.В. "Блицкриг: Миф или реальность? " (78/3) 16:58 Берг D.Н. "Мы из Кронштадта, подотдел " (589/7) Полный список...>>
РУЛЕТКА: Путь Шамана. Шаг Ночлежка "У Крокодила" В родном краю Рекомендует Пузеп Н.В. ВСЕГО В ЖУРНАЛЕ: Авторов: 108551 Произведений: 1670555 Список известности России СМ. ТАКЖЕ: Заграница.lib.ru \| Интервью СИ Музыка.lib.ru \| Туризм.lib.ru Художники \| Звезды Самиздата ArtOfWar \| Okopka.ru Фильм про "Самиздат" Уровень Шума: Интервью про "Самиздат" НАШИ КОНКУРСЫ: Рождественский детектив-24	24/11 ПОЗДРАВЛЯЕМ: Белашова Ю.Ю. Белль С.В. Богатикова О.Ю. Богданов А. Бонд. П.Б. Бредникова Е.Е. Букаринов Д.Н. Веденин В.А. Ветер К. Визмор Э.Н. Виноградова А.В. Галицкая Д.И. Гамова Д. Гончарова Е.В. Егорова В.Ю. Ежова Е.С. Елисеева Н.В. Ельников А.Д. Жалилова Л.С. Желнов П. Иванов А.А. Инеева С. Ищенко Г.В. Казарян М.В. Келлер Е. Кизяева А.А. Кичилова К.Ф. Колодиец Д.Н. Кольцо-Гид Команов С.С. Кондрашов В.А. Копышов А.Н. Корнеева Т.М. Коршунова Т.В. Ксения Лобков А. Луковкин К. Лучистая Д.Т. Макарчук С.С. Маковская Н. Маркевич П. Митусова Л.П. Можар Е.П. Морозов М. Пашкевич С. Пимонов В.В. Пирумова А.Б. Приходько О. Пятница М. Радонин С. Ревельский Х. Романов Н.П. Рябенкова Д.П. Серебряная Е. Силаков Г. Соколовская Е. Солнечная Соцкая С. Сперанская И.В. Таа Трещев Ю.А. Тягин П.А. Шаповалова Д.В. Шеннон Р.А. Шишкина Д. Щедрин Р. Ak108u Ive Mollydolly Natkam Valxalla Viligodaeum Viscount M.D.
ПОСЛЕДНИЕ ПОСТУПЛЕНИЯ: (7day) (30day) (Рассылка) 00:39 Патрацкая Н.В. "Маг Грановский" 21/11 Кукин В. "Случайные рифмы" 21/11 Моисеева О.Ю. "Сердце Кометы" Полный список...>>

1. *Козлов Владимир Петрович (vldkvp@gmail. com) 2024/03/03 14:57 [ответить]
Теперь уже выяснилась некоторая определенная связь двузначной классической логики с логикой предикатов,или также более явно,логики высказываний с логикой силлогизмов .То есть классическая бинарная логика представляет по существу ту же самую логику предикатов,но как бы в некотором урезанном виде,то есть как некоторая ее часть,если при этом убрать неопределенный квантор "некоторые ",выраженный в логике предикатов как выражение "существует такой-то элемент " .То же будет представлять и логика высказываний по отношению к логике силлогизмов ,которая по существу будет той же самой силлогистической теорией ,в которой сократили или убрали из применения неопределеннный квантор "некоторые ",а квантор "все " просто не записывается ,но подразумевается,обозначая только ,что данный объект существует в наличии ,или имеется, присутствует ,в отличии от квантора "отрицания ",обозначающего отрицание или отсутствие данного объекта .То же и в двузначной логике ,квантор "все" не обозначен ,но имееется ввиду .Таким образом обнаруживается некоторая единая связующая нить между двумя разновидностями логик,представленных старейшими,возникших в древности,и новейшими ,полученных в современной математике.Остается только оформить математически .Но и этого недостаточно,так как нужна еще при этом графическая наглядность .В этом,полагаю, может несомненно помочь теория множеств с ее пересекающимися и закрашенными кругами ,наглядно показывающие или демонстрирующие различные теоретико-множественные операции ,такие как объединение,пересечение ,включение и так далее .Но при этом считаю необходимо немного иначе видоизменить теорию множеств ,достаточно посчитав ,что операция пересечения множеств может включаться как часть в операцию объединения множеств,а операцию включения множеств считать разновидностью операции пересечения множеств .Ну,а совмещение множеств будет одновременно в себе сочетать и объединение,и пересечение и включение соответствующих множеств .Тогда логические формулы можно проще простого отображать на диаграммах данной преобразованной теории множеств ,без всякого ущерба в логическом осмыслении или недопонимании той или иной операции ,которая характерна для той или иной логической теории .

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

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

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

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

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

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

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