2014 dxdy logo

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

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




На страницу Пред.  1, 2, 3  След.
 
 Re: Странная логическая задача
Сообщение02.08.2012, 11:37 
все понял как решается! ща напишу

 
 
 
 Re: Странная логическая задача
Сообщение02.08.2012, 11:40 
Аватара пользователя
kw_artem в сообщении #602247 писал(а):
все понял как решается! ща напишу

Окей, ждём-с...

 
 
 
 Re: Странная логическая задача
Сообщение02.08.2012, 11:51 
под "либо" (в первом высказывании) опять понимаем "одно из двух", если оба выполняются/не выполняются одновременно, то "либо" тоже не выполняется.

теперь рассмотрим импликацию $A\rightarrow B$. из выполнения условия $A$ всегда следует выполнение $B$, из невыполнения $B$ всегда следует невыполнение $A$, если же $B$ выполняется -- $A$ может выполняться, а может и не выполняться. то что перед ($A$) импликацией буду наз. условием, а после ($B$) -- результатом, что б понятнее было

точно известно что "Д старше Б". теперь предположим что "Д не моложе В". поэтому в 1-ом результат выполняется, а значит условие "Д старше А" либо вып. либо нет. посмотрим на последнее 4-ое предложение: т.к. у нас не "Д не старше Б", то результат однозначно не выполняется, результат как раз "Д старше А". теперь смотрим в третье предложение. но так как в условии содержится условие "Д старше А" и оно не выполняется, тогда не выполняется результат "Д не моложе В" -- а это то что мы предположили сначала. значит ответ задачи "Д моложе В"

 
 
 
 Re: Странная логическая задача
Сообщение02.08.2012, 11:57 
Аватара пользователя
kw_artem в сообщении #602252 писал(а):

точно известно что "Д старше Б". теперь предположим что "Д не моложе В". поэтому в 1-ом результат выполняется, а значит условие "Д старше А" либо вып. либо нет.

Оно в любом случае либо выполняется, либо нет. К чему вся эта преамбула?

 
 
 
 Re: Странная логическая задача
Сообщение02.08.2012, 12:01 
Ktina в сообщении #602256 писал(а):
Оно в любом случае либо выполняется, либо нет. К чему вся эта преамбула?

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

 
 
 
 Re: Странная логическая задача
Сообщение02.08.2012, 12:02 
Аватара пользователя
kw_artem в сообщении #602252 писал(а):
... посмотрим на последнее 4-ое предложение: т.к. у нас не "Д не старше Б", то результат однозначно не выполняется, результат как раз "Д старше А".

Почему?

 
 
 
 Re: Странная логическая задача
Сообщение02.08.2012, 12:03 
kw_artem в сообщении #602252 писал(а):
из невыполнения $B$ всегда следует невыполнение $A$

 
 
 
 Re: Странная логическая задача
Сообщение02.08.2012, 12:04 
Аватара пользователя
kw_artem в сообщении #602260 писал(а):
kw_artem в сообщении #602252 писал(а):
из невыполнения $B$ всегда следует невыполнение $A$

А какое Б у нас не выполняется?

 
 
 
 Re: Странная логическая задача
Сообщение02.08.2012, 12:05 
Аватара пользователя
Тут, ИМХО, лучше не словами рассуждать, а просто записать условие на формальном языке.

1) $(D > A) \rightarrow (D > B) \vee (D < V)$.
2) $(D \leqslant B) \rightarrow (D < G)$.
3) $(D < G) \mathop{\&} (D > A) \rightarrow (D \geqslant V)$.
4) $(D  < G) \mathop{\&} (D \leqslant B) \rightarrow (D > A)$.

Далее дело за формальным разбором вариантов, который лень проводить в силу его тривиальности и большого объёма :?

 
 
 
 Re: Странная логическая задача
Сообщение02.08.2012, 12:06 
Аватара пользователя
Профессор Снэйп в сообщении #602262 писал(а):
Тут, ИМХО, лучше не словами рассуждать, а просто записать условие на формальном языке.

1) $(D > A) \rightarrow (D > B) \vee (D < V)$.
2) $(D \leqslant B) \rightarrow (D < G)$.
3) $(D < G) \mathop{\&} (D > A) \rightarrow (D \geqslant V)$.
4) $(D  < G) \mathop{\&} (D \leqslant B) \rightarrow (D > A)$.

Далее дело за формальным разбором вариантов, который лень проводить в силу его тривиальности и большого объёма :?

В том-то всё и дело, что формальный разбор вариантов приводит к противоречию.

 
 
 
 Re: Странная логическая задача
Сообщение02.08.2012, 12:06 
опять опечатался, из $A$ конечно следует

-- 02.08.2012, 13:07 --

kw_artem в сообщении #602264 писал(а):
В том-то всё и дело, что формальный разбор вариантов приводит к противоречию.

как раз формально и решается проще

 
 
 
 Re: Странная логическая задача
Сообщение02.08.2012, 12:08 
Аватара пользователя
Ktina в сообщении #602263 писал(а):
В том-то всё и дело, что формальный разбор вариантов приводит к противоречию.

$D = A = V = G > B$. Все посылки в импликациях ложные, сами импликации истинны. Где противоречие?

 
 
 
 Re: Странная логическая задача
Сообщение02.08.2012, 12:09 
Профессор Снэйп, в первом ур. "либо" должно быть == "одно из двух вариантов" , т.е. не "или"

 
 
 
 Re: Странная логическая задача
Сообщение02.08.2012, 12:11 
Аватара пользователя
kw_artem в сообщении #602266 писал(а):
Профессор Снэйп, в первом ур. "либо" должно быть == "одно из двух вариантов"

Да мне честно говоря по барабану. Тривиальная переборная задача, не понимаю, чего её тут так долго обсуждают.

 
 
 
 Re: Странная логическая задача
Сообщение02.08.2012, 12:13 
Аватара пользователя
Профессор Снэйп в сообщении #602265 писал(а):
Ktina в сообщении #602263 писал(а):
В том-то всё и дело, что формальный разбор вариантов приводит к противоречию.

$D = A = V = G > B$. Все посылки в импликациях ложные, сами импликации истинны. Где противоречие?

Видимо, автор задачи предположил, что нет двух девочек одинакового возраста.

Но и это не решает проблему.

Вы согласны со мной, что если Даша старше всех, то все утверждения обращаются в верные?

 
 
 [ Сообщений: 40 ]  На страницу Пред.  1, 2, 3  След.


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group