2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему На страницу Пред.  1, 2, 3, 4, 5, 6
 
 Re: Логическая задача от Vicktorovna
Сообщение20.03.2023, 18:57 


23/05/19
867
Mihaylo в сообщении #1586117 писал(а):
Неполное высказывание преобразуется в таблицу истинности, в которой некоторые строчки - не ЛОЖЬ и не ИСТИНА, а НЕОПРЕДЕЛЕНО.

То есть, Вы рассуждаете не в рамках двоичной логики? Могли бы и сразу сказать. Но даже в рамках троичных (где есть значение НЕОПРЕДЕЛЕНО) импликация и ее отрицание строятся не так, как это делаете Вы. Так что все еще непонятно, какая польза от Ваших рассуждений и чего Вы хотите добиться.

 Профиль  
                  
 
 Re: Логическая задача от Vicktorovna
Сообщение20.03.2023, 19:00 
Заслуженный участник
Аватара пользователя


15/10/08
11533

(Оффтоп)

Dedekind в сообщении #1586123 писал(а):
непонятно, какая польза от Ваших рассуждений и чего Вы хотите добиться.
Да мирового господства, как минимум. (с) х/ф "Сталкер"

 Профиль  
                  
 
 Re: Логическая задача от Vicktorovna
Сообщение20.03.2023, 19:25 


12/07/15
2907
г. Чехов
Dedekind в сообщении #1586123 писал(а):
Вы рассуждаете не в рамках двоичной логики

Нельзя просто взять и рассудить все подряд в рамках двоичной логики, если в задаче явным образом предлагается троичная. Хотя я уверен, что и в двоичной логике можно разрешить проблему неопределенности...

Dedekind в сообщении #1586123 писал(а):
импликация и ее отрицание строятся не так, как это делаете Вы.

Как же?

-- 20.03.2023, 21:27 --

Утундрий в сообщении #1586122 писал(а):
Тогда это не высказывание.

Что же это тогда?

 Профиль  
                  
 
 Re: Логическая задача от Vicktorovna
Сообщение20.03.2023, 19:33 
Заслуженный участник
Аватара пользователя


16/07/14
8338
Цюрих
Mihaylo в сообщении #1586113 писал(а):
Ну а как работать с неопределенностями?..
Да очень просто. Не путать истинность высказывания с известностью его истинности. Это есть уже на уровне исчисления предикатов: истинность и выводимость - разные вещи. Для более тонкого анализа есть байесианство и модальные логики.
Mihaylo в сообщении #1586113 писал(а):
До тех пор пока не подвернулся свидетельствующий факт, правоту биологов невозможно установить.
Все факты я Вам сообщил: никаких красных крокодилов у меня дома нет. И уже не подвернется, потому что вчера мне запретили держать дома крокодилов, независимо от цвета. А биологи говорили не о красных крокодилах вообще, а конкретно о моем крокодиле. Но ни не знали красный он или нет.

 Профиль  
                  
 
 Re: Логическая задача от Vicktorovna
Сообщение20.03.2023, 19:37 


12/07/15
2907
г. Чехов
mihaild
Так отрицание неправильно построено...

 Профиль  
                  
 
 Re: Логическая задача от Vicktorovna
Сообщение20.03.2023, 20:08 
Заслуженный участник
Аватара пользователя


15/10/08
11533
Mihaylo в сообщении #1586125 писал(а):
Что же это тогда?
Набор слов.

 Профиль  
                  
 
 Re: Логическая задача от Vicktorovna
Сообщение20.03.2023, 21:54 
Заслуженный участник
Аватара пользователя


16/07/14
8338
Цюрих
Mihaylo в сообщении #1586127 писал(а):
Так отрицание неправильно построено
Отрицание построено ровно по Вашей инструкции.
"Если А, то Б" $\to$ "Если А, то не-Б"
А: "крокодил дома у mihaild красный"
Б: "крокодил дома у mihaild умеет летать"
(ситуации, когда у меня дома нет крокодила вообще, для простоты игнорируем)
Так какое же из утверждений - "если А, то Б" или "если А, то не-Б" выполнено, если у меня дома только синий крокодил?
Учтите, что "не знаю, какое выполнено" это не то же самое, что "никакое не выполнено" - в первом случае Вы должны указать, какие дополнительные сведения (фактические, не контрфактические) Вам нужны для установления истины.

 Профиль  
                  
 
 Re: Логическая задача от Vicktorovna
Сообщение21.03.2023, 01:40 


12/07/15
2907
г. Чехов
mihaild в сообщении #1586141 писал(а):
Отрицание построено ровно по Вашей инструкции.

А, ну о чем тогда дискуссия?..

 Профиль  
                  
 
 Re: Логическая задача от Vicktorovna
Сообщение21.03.2023, 02:18 


23/05/19
867
Mihaylo в сообщении #1586125 писал(а):
Dedekind в сообщении #1586123

писал(а):
импликация и ее отрицание строятся не так, как это делаете Вы.
Как же?

Зависит от логики. В некоторых так же, как и в двоичной. "Если А, то Б" эквивалентно "не А или Б". Соответственно, отрицанием импликации все так же будет "А и не Б". В некоторых немного по-другому, но все равно Вашего варианта там не будет. Потому что Вы вместо высказываний (пусть и многозначных) рассматриваете непойми что.

 Профиль  
                  
 
 Re: Логическая задача от Vicktorovna
Сообщение21.03.2023, 02:25 
Заслуженный участник
Аватара пользователя


16/07/14
8338
Цюрих
Mihaylo в сообщении #1586159 писал(а):
А, ну о чем тогда дискуссия?
О том, что отрицание, построенное по Вашей инструкции, не удовлетворяет важному свойству: чтобы из утверждения и его отрицания было выполнено ровно одно.

 Профиль  
                  
 
 Re: Логическая задача от Vicktorovna
Сообщение21.03.2023, 19:44 


12/07/15
2907
г. Чехов
mihaild в сообщении #1586163 писал(а):
не удовлетворяет важному свойству

Нельзя любые высказывания подогнать под любое свойство. В таком случае Утундрий прав, "если-то" - это не высказывание, а нечто другое, содержащее набор слов, а именно: пустое высказывание (по моей терминологии). А значит отрицание в смысле двоичной логики не следует делать над предложениями из топик-старта.

Двоичную логику надо подогнать под троичную следующим образом: вводим четыре булевых переменных A = "биолог 1 прав", B = "биолог 1 не прав", C = "биолог 2 прав", D = "биолог 2 не прав". И в случае синего крокодила у mihaild оба биолога остаются при своих аргументах (A = 0 , B = 0, C = 0, D = 0).

 Профиль  
                  
 
 Re: Логическая задача от Vicktorovna
Сообщение21.03.2023, 19:59 


23/05/19
867

(Оффтоп)

Mihaylo в сообщении #1586226 писал(а):
Двоичную логику надо подогнать под троичную

Не нужно, зачем же над ней так издеваться-то...

 Профиль  
                  
 
 Re: Логическая задача от Vicktorovna
Сообщение21.03.2023, 20:18 


12/07/15
2907
г. Чехов
Dedekind
Ждем от Вас конструктивные аргументы!

 Профиль  
                  
 
 Re: Логическая задача от Vicktorovna
Сообщение21.03.2023, 23:06 
Заслуженный участник
Аватара пользователя


16/07/14
8338
Цюрих
Mihaylo в сообщении #1586226 писал(а):
Нельзя любые высказывания подогнать под любое свойство.
Скорее не стоит всё подряд называть высказываниями.
Последовательности слов на русском языке, которые достаточно хорошо моделируются по правилам математической логики - очень важный класс, и ИМХО разумно называть высказываниями именно их. И хочется чтобы как можно чаще можно было сказать ровно одно из двух - "биолог прав" или "биолог не прав".

 Профиль  
                  
 
 Re: Логическая задача от Vicktorovna
Сообщение22.03.2023, 22:11 


12/07/15
2907
г. Чехов
В общем "если-то" - это не логическая импликация. А логическая импликация удовлетворяет некоторым стремлениям.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 90 ]  На страницу Пред.  1, 2, 3, 4, 5, 6

Модератор: Модераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group