О гуманном христианстве

[burunduk]

Сообщение от acket

А не равно В истина не значит, что В равно А ложь

а как же: Закон исключённого третьего утверждает, что любое высказывание или истинно, или ложно, третьего не дано?

[burunduk]

Сообщение от Fenix

Классическая логика.

классическая логика не допускает третьего

[Fenix]

Сообщение от burunduk

юни, давай рассуждай логически

есть две переменные
A и B
теперь факты
A != B истина
B > A ложь
B < A ложь

с точки зрения классической логики этого быть не может
сможешь объяснить как такое получается?

Прямо подходит под твои условия
Размер Луны видимый с Земли != размер Солнца видимый с Земли - истина
Размер Луны видимый с Земли > размер Солнца видимый с Земли - ложь
Размер Луны видимый с Земли < размер Солнца видимый с Земли - ложь

[acket]

Сообщение от burunduk

это в данном случае ни как не противоречит умозаключениям, кто мешает использовать сложные суждения?

Правила логики мешают, в силлогизме должно быть 3 термина, 4й – логическая ошибка учетверения терминов, вывод не следует

Ну и сам силлогизм какой-то нестандартный

Даже если привести первую посылку в нормальный вид:

Все А суть В ложь

Будет следовать вывод:

Некоторые В ложь суть А (некоторые, не все)

Кароч, фигня, демагогия

Я так думаю (с)

[Tanya]

Сообщение от acket

Ну и сам силлогизм какой-то нестандартный

Точно. Знаки равенства, неравенства =,<,> - это же не логические операции.

[acket]

Сообщение от burunduk

Закон исключенного третьего утверждает, что любое высказывание или истинно, или ложно, третьего не дано?

Если В истина, А не равно В, то некоторые А не истина, другие А хз

А вообще не противоречит В
Даже не-В не противоречит В

В и не-В могут быть одновременно истинными или ложными, потому что не-В может быть А, С, D, Е етс

[acket]

Сообщение от Tanya

Знаки равенства, неравенства =,<,> - это же не логические операции

В формальной не, в символической можно

[burunduk]

Сообщение от Tanya

Точно. Знаки равенства, неравенства =,<,> - это же не логические операции.

так там вообще нет никаких операций!!
там только результаты утверждений

логические операции я предложил провести юни и сделать логический вывод

P.S. пример специально был подобран как что бы любой хоть немного знакомый с программированием смог дать сразу правильный ответ без использования любой логики...

а дальше признаюсь был заведомый троллинг, заключающийся в невозможности натянуть именно классическую логику на этот ответ

[Tanya]

Сообщение от burunduk

в невозможности натянуть именно классическую логику на этот ответ

Почему невозможности?
Есть некоторые A и некоторые B, для которых этот набор утверждений верен.

[acket]

Закон исключенного третьего:

Все блондинки тупые – Все блондинки не тупые

Эти высказывания не могут быть одновременно истинными

Не закон исключенного третьего:

Некоторые блондинки тупые – некоторые блондинки не тупые

Два частных высказывания не находятся в противоречии