Странная логическая задача

[kw_artem]

все понял как решается! ща напишу

[Ktina]

kw_artem в сообщении #602247 писал(а):

все понял как решается! ща напишу

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

[kw_artem]

под "либо" (в первом высказывании) опять понимаем "одно из двух", если оба выполняются/не выполняются одновременно, то "либо" тоже не выполняется.

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

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

[Ktina]

kw_artem в сообщении #602252 писал(а):

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

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

[kw_artem]

Ktina в сообщении #602256 писал(а):

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

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

[Ktina]

kw_artem в сообщении #602252 писал(а):

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

Почему?

[kw_artem]

kw_artem в сообщении #602252 писал(а):

из невыполнения $B$ всегда следует невыполнение $A$

[Ktina]

kw_artem в сообщении #602260 писал(а):

kw_artem в сообщении #602252 писал(а):

из невыполнения $B$ всегда следует невыполнение $A$

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

[Профессор Снэйп]

Тут, ИМХО, лучше не словами рассуждать, а просто записать условие на формальном языке.

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)$.

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

[Ktina]

Профессор Снэйп в сообщении #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)$.

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

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

[kw_artem]

опять опечатался, из $A$ конечно следует

-- 02.08.2012, 13:07 --

kw_artem в сообщении #602264 писал(а):

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

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

[Профессор Снэйп]

Ktina в сообщении #602263 писал(а):

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

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

[kw_artem]

Профессор Снэйп, в первом ур. "либо" должно быть == "одно из двух вариантов" , т.е. не "или"

[Профессор Снэйп]

kw_artem в сообщении #602266 писал(а):

Профессор Снэйп, в первом ур. "либо" должно быть == "одно из двух вариантов"

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

[Ktina]

Профессор Снэйп в сообщении #602265 писал(а):

Ktina в сообщении #602263 писал(а):

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

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

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

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

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