Помогите опровергнуть, Шуточную теорию

[676]

Кинули в меня этой теоремой, и я могу утвердить, что неверная она, а обосновать терминами не могу. Пожалуйста, кому не трудно потратьте 15 минут и помогите мне её опровергнуть.

Известно, что Аня любит Диму
Аня+Дима=Любовь

Также Аня любит Сашу
Аня+Саша=Любовь

Правые части выражений равны
Любовь=Любовь

Следовательно, равны и левые части
Аня+Дима=Аня+Саша

Аня и Аня взаимно уничтожаются, остается
Дима=Саша

Вывод - Все мужики одинаковые.

[Sonic86]

676 писал(а):

Вывод - Все мужики одинаковые.

Ну, во-первых, индукция $(\exists x_1) P(x_1) \wedge (\exists x_2) P(x_2) \Rightarrow (\forall x) P(x)$ неверна, как общеизвестно
То есть можно только утверждать, что Дима = Саша.
Во-вторых, запись А+В=любовь - бессмысленна. Правильнее говорить А любит В.
В третьих, не Дима = Саша, а Дима эквивалентен Саше в том плане, что их любит Аня.
Вообще все мужики в этом смысле распадаются на 2 класса: в первом классе находятся все мужики, которых Аня любит, а в другом - все, которых Аня не любит (т.е. неверно, что любит). Но тут даже операций не введешь. Скучная теория совсем

[Батороев]

(Оффтоп)

676 в сообщении #273998 писал(а):

Аня+Дима=Любовь

Аня+Саша=Любовь

Разнесёт весна
Тополиный пух,
Словно сто снегов,
И окажется:
Если ты одна
Любишь сразу двух, -
Значит, это не любовь,
А только кажется.

[bot]

Любит Аня Вову или не любит - на заборе не написано неизвестно, так что шут его знает в какой класс Вова ходит входит.

[jetyb]

Здесь у Вас в качестве "плюса" берется не сложение, а некоторая функция:
$+: \{GIRLS\}\times\{BOYS\}\to\{FEELINGS\}$,
но не факт, что она является инъекцией. То есть могут существовать $(girl_1,boy_1)\neq (girl_2,boy_2): girl_1+boy_1=girl_2+boy_2$

А эту Аню однозначно надо бросать.

[676]

Всем большое, большое спасибо!!!!

[ozhigin]

если Аня их любит, то не факт, что они любят Аню , поэтому их "нельзя подвести к общему знаменателю" любви