Какие из следующих двух дедуктивных умозаключений являются корректными?

Впечатления, размышления.

Moderator: Sw_Lem

Какие из двух дедуктивных умозаключений являются корректными?

1. Все планеты, вращающиеся вокруг Солнца, находятся в Солнечной системе. Земля - одна из планет Солнечной системы. Следовательно, Земля вращается вокруг Солнца.
13
11%
1. Все планеты, вращающиеся вокруг Солнца, находятся в Солнечной системе. Земля - одна из планет Солнечной системы. Следовательно, Земля вращается вокруг Солнца.
13
11%
2. Бог создал все сущее. Планета Земля является сущим. Следовательно, Бог создал Землю.
16
14%
2. Бог создал все сущее. Планета Земля является сущим. Следовательно, Бог создал Землю.
16
14%
Оба дедуктивные умозаключения корректны.
20
18%
Оба дедуктивные умозаключения корректны.
20
18%
Ни одно из этих двух дедуктивных умозаключений не корректно.
8
7%
Ни одно из этих двух дедуктивных умозаключений не корректно.
8
7%
 
Total votes: 114

User avatar
perasperaadastra
Уже с Приветом
Posts: 20128
Joined: 21 Feb 2009 22:55
Location: Лох Онтарио

Re: Какие из следующих двух дедуктивных умозаключений являются корректными?

Post by perasperaadastra »

jsjs wrote:Так ещё лучше.
phpBB [video]
Я подобную хрень слышал на лекциях по "культурологии". Теперь понятно, что это было.
User avatar
# SPIRITUS #
Уже с Приветом
Posts: 998
Joined: 23 Feb 2005 07:28
Location: Los Angeles

Re: Какие из следующих двух дедуктивных умозаключений являются корректными?

Post by # SPIRITUS # »

условия №1 никак не мешают допустить существование планет, принадлежащих солнечной системе, но не вращающихся вокруг солнца.
если существование не-вращающихся планет в СС по условиям №1 допустимо, то земля может быть одной из них - следовательно, вывод №1 есть лажа.
User avatar
Вячеслав Викторович
Уже с Приветом
Posts: 5738
Joined: 13 Feb 2016 18:50
Location: Кемерово

Re: Какие из следующих двух дедуктивных умозаключений являются корректными?

Post by Вячеслав Викторович »

В принципе водораздел в том, что человеку можно, а что нельзя.
User avatar
HappyCat
Уже с Приветом
Posts: 11537
Joined: 03 Nov 2006 19:48
Location: SF Bay Area

Re: Какие из следующих двух дедуктивных умозаключений являются корректными?

Post by HappyCat »

Да, формально из начального утверждения не следует что планеты солнечной системы обязаны вращаються вокруг солнца ;). т.е. первое утверждение не верно.
Pishu levoj nogoj s oshibkami. sorry
User avatar
HappyCat
Уже с Приветом
Posts: 11537
Joined: 03 Nov 2006 19:48
Location: SF Bay Area

Re: Какие из следующих двух дедуктивных умозаключений являются корректными?

Post by HappyCat »

jsjs wrote:
DDoS wrote:
jsjs wrote:
DDoS wrote:"Пьет лишь тот, кто варит раков. Слон пьет. Следовательно, слон варит раков."
Верно или корректно? :)
Силлогизм составлен корректно. Антецедент -- ложный. Следоватально, вывод ложный.

На языке "верно или корректно" -- корректно, но неверно. Или, на ещё более простом языке, "хотели как лучше, а получилось как всегда".
Хорошо. А так -
"Все люди дышат. Ленин умер в 1924. Следовательно, корова - парнокопытное." ??
Так ещё лучше.
phpBB [video]
Ой, что-то мне ето напоминает

https://www.youtube.com/watch?v=b-Ziar9peO0" onclick="window.open(this.href);return false;

https://www.youtube.com/watch?annotatio ... Rly-0wwl_g" onclick="window.open(this.href);return false;

https://www.youtube.com/watch?v=7aNb1YZqeqU" onclick="window.open(this.href);return false;
Pishu levoj nogoj s oshibkami. sorry
User avatar
jsjs
Уже с Приветом
Posts: 19447
Joined: 09 Aug 2009 03:46
Location: Москва->США

Re: Какие из следующих двух дедуктивных умозаключений являются корректными?

Post by jsjs »

HappyCat wrote: Ой, что-то мне ето напоминает

https://www.youtube.com/watch?v=b-Ziar9peO0" onclick="window.open(this.href);return false;

https://www.youtube.com/watch?annotatio ... Rly-0wwl_g" onclick="window.open(this.href);return false;

https://www.youtube.com/watch?v=7aNb1YZqeqU" onclick="window.open(this.href);return false;
Да, на ютубе полно идиотов.
phpBB [video]
蝸牛そろそろ登れ富士の山
User avatar
HappyCat
Уже с Приветом
Posts: 11537
Joined: 03 Nov 2006 19:48
Location: SF Bay Area

Re: Какие из следующих двух дедуктивных умозаключений являются корректными?

Post by HappyCat »

jsjs wrote:
HappyCat wrote: Ой, что-то мне ето напоминает

https://www.youtube.com/watch?v=b-Ziar9peO0" onclick="window.open(this.href);return false;

https://www.youtube.com/watch?annotatio ... Rly-0wwl_g" onclick="window.open(this.href);return false;

https://www.youtube.com/watch?v=7aNb1YZqeqU" onclick="window.open(this.href);return false;
Да, на ютубе полно идиотов.
phpBB [video]
Не не катит.

Там реальная речь трампа. (а здесь жалкий отрывок с искусственно усиленным заиканием)

Кстати с последнего ралли речь слышала - ну просто obnoxious drunk без всяких спецеффектов от начала до конца.

Вот здесь есть небольшой спецеффецт (речь незначительно замедленна)
https://www.youtube.com/watch?v=Sl-RvU-ndjs" onclick="window.open(this.href);return false;

Ну то что он врет уже даже И не воспринимается, потому что вся речь ето просто obnoxious drunk rant
Pishu levoj nogoj s oshibkami. sorry
User avatar
jsjs
Уже с Приветом
Posts: 19447
Joined: 09 Aug 2009 03:46
Location: Москва->США

Re: Какие из следующих двух дедуктивных умозаключений являются корректными?

Post by jsjs »

HappyCat wrote:Не не катит.
Не катит, так не катит. Trump Derangement Syndrome пока не научились лечить.
蝸牛そろそろ登れ富士の山
User avatar
HappyCat
Уже с Приветом
Posts: 11537
Joined: 03 Nov 2006 19:48
Location: SF Bay Area

Re: Какие из следующих двух дедуктивных умозаключений являются корректными?

Post by HappyCat »

jsjs wrote:
HappyCat wrote:Не не катит.
Не катит, так не катит. Trump Derangement Syndrome пока не научились лечить.
По-моему население скорее страдает от Hillary Derangement Syndrome. А Трамп .... ну смешной клоун
Pishu levoj nogoj s oshibkami. sorry
User avatar
Кандид
Уже с Приветом
Posts: 3911
Joined: 21 Feb 2017 07:11

Re: Какие из следующих двух дедуктивных умозаключений являются корректными?

Post by Кандид »

и тут Трамп?! :shock:

по сути задачи... чем дальше идет детализирование - тем больше я сомневаюсь в своей правоте
теперь и первое утверждение не выглядит уже таким уж верным... и второе вызывает сомнения
#нетвойне
User avatar
jsjs
Уже с Приветом
Posts: 19447
Joined: 09 Aug 2009 03:46
Location: Москва->США

Re: Какие из следующих двух дедуктивных умозаключений являются корректными?

Post by jsjs »

HappyCat wrote:
jsjs wrote:
HappyCat wrote:Не не катит.
Не катит, так не катит. Trump Derangement Syndrome пока не научились лечить.
По-моему население скорее страдает от Hillary Derangement Syndrome. А Трамп .... ну смешной клоун
По-моему, население в основном занято своими делами и страдает (когда страдает) от более mundane вещей (типа, начальник -- сука, коллега -- урод, на дороге подрезал какой-то дебил и т.д. ). Кстати, в этом одна и прелестей Америки -- относительно низкая политизированность человеческого материала.

А страдают в основном self-important клоуны в телевизЕре и прочих СМИ, вместе с воспитанными ими мутантными обамоидами.
蝸牛そろそろ登れ富士の山
aml5691
Уже с Приветом
Posts: 834
Joined: 15 Jan 2004 18:42

Re: Какие из следующих двух дедуктивных умозаключений являются корректными?

Post by aml5691 »

Пока опрос подтверждает известную истину - чем больше давать народу вариантов выбора, тем больше народ будет путаться :)
aml5691
Уже с Приветом
Posts: 834
Joined: 15 Jan 2004 18:42

Re: Какие из следующих двух дедуктивных умозаключений являются корректными?

Post by aml5691 »

Для желающих поупражняться в логике - как сформулировать отрицание следующего утверждения:
"Любой посетитель форума относится в точности к одной из групп - либо занимается программированием, либо является почтовой невестой"
используя только утверждения (1) "занимается программированием", (2) "не занимается программированием", (3) "является почтовой невестой", (4) "не является почтовой невестой", операторы "и" и "или", а также кванторы "любой" или "существует", и не используя оператора отрицания "не" нигде, кроме 2-x из перечисленных выше 4-х утверждений, в которых он присутствует?

Последние условия существенны. Например, утверждения
"Не любой посетитель форума относится в точности к одной из групп - либо занимается программированием, либо является почтовой невестой"
или
"Существует посетитель форума, который не относится в точности к одной из групп - либо занимается программированием, либо является почтовой невестой"
конечно являются отрицаниями исходного утвержения, но они используют оператор "не" вне перечисленных выше утверждений.
Last edited by aml5691 on 04 Mar 2017 12:45, edited 2 times in total.
User avatar
jsjs
Уже с Приветом
Posts: 19447
Joined: 09 Aug 2009 03:46
Location: Москва->США

Re: Какие из следующих двух дедуктивных умозаключений являются корректными?

Post by jsjs »

"Существует посетитель форума, который ((НЕ занимается программированием) И (НЕ является почтовой невестой))"
蝸牛そろそろ登れ富士の山
aml5691
Уже с Приветом
Posts: 834
Joined: 15 Jan 2004 18:42

Re: Какие из следующих двух дедуктивных умозаключений являются корректными?

Post by aml5691 »

jsjs wrote:"Существует посетитель форума, который ((НЕ занимается программированием) И (НЕ является почтовой невестой))"
Увы, не верно!
Last edited by aml5691 on 04 Mar 2017 02:53, edited 1 time in total.
User avatar
jsjs
Уже с Приветом
Posts: 19447
Joined: 09 Aug 2009 03:46
Location: Москва->США

Re: Какие из следующих двух дедуктивных умозаключений являются корректными?

Post by jsjs »

aml5691 wrote:
jsjs wrote:"Существует посетитель форума, который ((НЕ занимается программированием) И (НЕ является почтовой невестой))"
Увы, не верно!
А, чёрт, не обратил внимание на "в точности". Тогда, естественно,

"
Существует посетитель форума, который
(
((НЕ занимается программированием) И (НЕ является почтовой невестой))
ИЛИ
((занимается программированием) И (является почтовой невестой))
)
"
蝸牛そろそろ登れ富士の山
User avatar
Кандид
Уже с Приветом
Posts: 3911
Joined: 21 Feb 2017 07:11

Re: Какие из следующих двух дедуктивных умозаключений являются корректными?

Post by Кандид »

jsjs wrote:"Существует посетитель форума, который ((НЕ занимается программированием) И (НЕ является почтовой невестой))"
я бы написал:
"НЕ существует такого посетителя форума, который ((НЕ занимается программированием) И (НЕ является почтовой невестой))""
#нетвойне
User avatar
perasperaadastra
Уже с Приветом
Posts: 20128
Joined: 21 Feb 2009 22:55
Location: Лох Онтарио

Re: Какие из следующих двух дедуктивных умозаключений являются корректными?

Post by perasperaadastra »

aml5691 wrote:
jsjs wrote:"Существует посетитель форума, который ((НЕ занимается программированием) И (НЕ является почтовой невестой))"
Увы, не верно!
НЕ(ИСТИНА). :umnik1: :D
User avatar
jsjs
Уже с Приветом
Posts: 19447
Joined: 09 Aug 2009 03:46
Location: Москва->США

Re: Какие из следующих двух дедуктивных умозаключений являются корректными?

Post by jsjs »

Кандид wrote:
jsjs wrote:"Существует посетитель форума, который ((НЕ занимается программированием) И (НЕ является почтовой невестой))"
я бы написал:
"НЕ существует такого посетителя форума, который ((НЕ занимается программированием) И (НЕ является почтовой невестой))""
ТC не разрешал НЕ перед квантором пихать.
蝸牛そろそろ登れ富士の山
User avatar
worldCitizen
Уже с Приветом
Posts: 18013
Joined: 19 Jul 2008 06:52
Location: USA

Re: Какие из следующих двух дедуктивных умозаключений являются корректными?

Post by worldCitizen »

jsjs wrote:
aml5691 wrote:
Ruger wrote:Опрос не полон. Не хватает как минимум одного пункта
А какой еще может быть вариант ответа?
Self-referential. Типа, этот опрос @#$&%.
Согласен
User avatar
# SPIRITUS #
Уже с Приветом
Posts: 998
Joined: 23 Feb 2005 07:28
Location: Los Angeles

Re: Какие из следующих двух дедуктивных умозаключений являются корректными?

Post by # SPIRITUS # »

Да все в порядке с опросом.
aml5691
Уже с Приветом
Posts: 834
Joined: 15 Jan 2004 18:42

Re: Какие из следующих двух дедуктивных умозаключений являются корректными?

Post by aml5691 »

jsjs wrote: 04 Mar 2017 02:37
aml5691 wrote:
jsjs wrote:"Существует посетитель форума, который ((НЕ занимается программированием) И (НЕ является почтовой невестой))"
Увы, не верно!
А, чёрт, не обратил внимание на "в точности". Тогда, естественно,

"
Существует посетитель форума, который
(
((НЕ занимается программированием) И (НЕ является почтовой невестой))
ИЛИ
((занимается программированием) И (является почтовой невестой))
)
"
Да, верно.

Если обозначить А(х) утверждение "посетитель форума х занимается программированием" и B(x) - утверждение "посетитель формума х является почтовой невестой" и использовать другие очевидные обозначения унитарных/бинарных логических операторов и кванторов, то вывод отрицания, удовлетворяющего условиям задачи, можно записать как следующую цепочку равносильных утверждений:

NOT (ALL(x) (A(x) XOR B(x)) )
EXIST(x) (NOT (A(x) XOR B(x)) )
EXIST(x) ( ( (NOT A(x)) AND (NOT B(x)) OR (A(x) AND B(x)) ) )

где используется правило отрицания квантора всеобщности и запись отрицания XOR в виде дизъюнктивной нормальной формы (ДНФ).
Last edited by aml5691 on 19 Mar 2017 01:17, edited 2 times in total.
aml5691
Уже с Приветом
Posts: 834
Joined: 15 Jan 2004 18:42

Re: Какие из следующих двух дедуктивных умозаключений являются корректными?

Post by aml5691 »

Интересно, как сформулировать отрицание утверждения
Отрицанием утверждения
"Любой посетитель форума относится в точности к одной из групп - либо занимается программированием, либо является почтовой невестой"
является утверждение
"
Существует посетитель форума, который
(
((НЕ занимается программированием) И (НЕ является почтовой невестой))
ИЛИ
((занимается программированием) И (является почтовой невестой))
)
"
используя только утверждения (1) "занимается программированием", (2) "не занимается программированием", (3) "является почтовой невестой", (4) "не является почтовой невестой", операторы "и" и "или", а также кванторы "любой" или "существует", и не используя оператора отрицания "не" нигде, кроме 2-x из перечисленных выше 4-х утверждений, в которых он присутствует?

Опять таки, указанные условия являются существенными. Например, очевидно, что отрицанием этого утверждения будет утверждение
Отрицанием утверждения
"Любой посетитель форума относится в точности к одной из групп - либо занимается программированием, либо является почтовой невестой"
НЕ является утверждение
"
Существует посетитель форума, который
(
((НЕ занимается программированием) И (НЕ является почтовой невестой))
ИЛИ
((занимается программированием) И (является почтовой невестой))
)
"
но последнее утверждение использует оператор отрицания вне утверждений "не занимается программированием" и "не является почтовой невестой", т.е. не удовлетворяет условиям задачи,
User avatar
geek7
Уже с Приветом
Posts: 20318
Joined: 01 Dec 2003 23:16
Location: Russia->USA

Re: Какие из следующих двух умозаключений являются верными?

Post by geek7 »

jsjs wrote: 24 Feb 2017 01:44 Оба умозаключения являются примерами modus ponens (силлогизм), т.е. оба умозаключения являются правильными.

Истинность или ложность консеквента (вывода) из этих умозаключений, тем самым определяется истинностью или ложностью антецедента (посылки). Поскольку антецедент в 1 истиннен, а в 2 -- ложен, то, соответственно, вывод в 1 истиннен, а в 2 -- ложен.
В первом
1. Все планеты, вращающиеся вокруг Солнца, находятся в Солнечной системе. Земля - одна из планет Солнечной системы. Следовательно, Земля вращается вокруг Солнца.
не утверждается что Все планеты находящиеся в Солнечной системе вращающиеся вокруг Солнца. потому утверждать, что Земля вращается вокруг Солнца на основании того, что Земля - одна из планет Солнечной системы нельзя
Говори что думаешь, думай что говоришь!
Маразм крепчал и скрепы гнулись
User avatar
geek7
Уже с Приветом
Posts: 20318
Joined: 01 Dec 2003 23:16
Location: Russia->USA

Re: Какие из следующих двух дедуктивных умозаключений являются корректными?

Post by geek7 »

perasperaadastra wrote: 24 Feb 2017 02:26 Ответил в ЛС

1. К сожалению, закрытие темы также закрывает опрос, поэтому не получится.
2. Поздно. Модераторам запрещено удалять сообщения. Нужно было сразу попросить участников прятать ответы. К счастью, имеется несогласие по поводу правильного ответа, поэтому результаты не будут слишком biased.
да в любом случае бы не сработало бы - всегда можно погуглить или запросить поддержку мужа зала
Говори что думаешь, думай что говоришь!
Маразм крепчал и скрепы гнулись

Return to “О жизни”