ни о чём Опции

[tigor]

понятия «утро» и «хорошо выспаться» обычно плохо сочетаются))

[Reaper]

Понятия «выспавшаяся» и «хорошо» — тоже не очень-то. =(

[Nastya Iaas]

Можно из этого всего вывести, что «девушка» и «утро» тоже не сочетаются =D

[O'Rey]

Зависит от девушки.
В некоторых случаях «девушка» и «выспаться» тоже плохосочетаемо.

[Reaper]

Если девушке хорошо, то она не выспата.
Если девушка выспата, то уже не утро.

Кто там у нас силен в логике? (Бааааарссиииик!!!)

[Nastya Iaas]

А если воскресенье?)))

[barsik]

а чо барсик?? я не в курсе темы ващще. для меня утро — это часов 11... раннее!
(как говорил Жванецкий: «у артиста в 3 часа дня — рассвет!!» )

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

[Saltarin]

Да простят меня за занудство, но, как говорится, сами напросились ;)

Если девушке хорошо, то она не выспата.
Если девушка выспата, то уже не утро.

Запишем вышеприведённые утверждения на языке пропозициональной логики, обозначив элементарные высказывания через переменные:
G (A girl feels good) — девушке хорошо;
S (A girl has got enough sleep) — девушка выспата;
M (It’s morning already!) — уже утро.

Получаем следующие формулы:

G→гS (1)
S→гM (2)

Теперь сделаем допущение о том, что уже утро, т.е. M=T (true) (3). Тогда из формул (2) и (3) по правилу Modus tollens получаем:

(S→гM) & M →гS – т.е. девушка не выспата!

Если же мы берём за исходное, что девушка таки да, выспата, т.е. S=T (4), – то из (1) и (4) по тому же правилу получаем:

(G→гS) & S →гG – т.е. девушке не хорошо!

Выводы: логически непротиворечивыми являются только две* из всех возможных ситуаций:

1. сейчас утро, и девушке хорошо, но она не выспата (M&G&гS),
   либо
2. девушка выспата, только уже не утро, да и ей как-то не очень (S&гM&гG).

Выбор, по-моему, очевиден =)

P.S. «г» — это такой знак отрицания.
___________
[*] Здесь надобно подстелить соломки – на самом деле их три:

c. Уже утро, девушку подняли, но не разбудили, и ей, мягко говоря, фигово (M&гS&гG)

– о чём и было сказано у Сиса:

Какие же, оказывается, в метро утром женщины страшные...

что логически верно, но по-человечески как-то совсем грустно (

[O'Rey]

Бгагага, я хочу от Saltarin детей!
Адово например.

[Nastya Iaas]

Да простят меня за занудство, но, как говорится, сами напросились ;)
Запишем вышеприведённые утверждения на языке пропозициональной логики, обозначив элементарные высказывания через переменные:
G (A girl feels good) — девушке хорошо;
S (A girl has got enough sleep) — девушка выспата;
M (It’s morning already!) — уже утро.

Получаем следующие формулы:

G→гS (1)
S→гM (2)

Теперь сделаем допущение о том, что уже утро, т.е. M=T (true) (3). Тогда из формул (2) и (3) по правилу Modus tollens получаем:

(S→гM) & M →гS – т.е. девушка не выспата!

Если же мы берём за исходное, что девушка таки да, выспата, т.е. S=T (4), – то из (1) и (4) по тому же правилу получаем:

(G→гS) & S →гG – т.е. девушке не хорошо!

Выводы: логически непротиворечивыми являются только две* из всех возможных ситуаций:

1. сейчас утро, и девушке хорошо, но она не выспата (M&G&гS),
   либо
2. девушка выспата, только уже не утро, да и ей как-то не очень (S&гM&гG).

Выбор, по-моему, очевиден =)

P.S. «г» — это такой знак отрицания.
___________
[*] Здесь надобно подстелить соломки – на самом деле их три:

c. Уже утро, девушку подняли, но не разбудили, и ей, мягко говоря, фигово (M&гS&гG)

– о чём и было сказано у Сиса:
что логически верно, но по-человечески как-то совсем грустно (

Потрясающе!!! Я теперь наконец поняла, зачем нас этому учили))) Все, иду пролистывать лекции и семинары по логике ))))