Логика. Любит ли Маша Ваню?

[Mikhail_K]

Ну да. Хотя утверждение записано у Вас не очень внятно, но суть понятна.

[ludwig51]

B@R5uk в сообщении #1283127 писал(а):

Наилучшим альтернативным вопросом в задаче, на мой взгляд, был бы такой: "Маша не делает Ване предложения вместе снимать квартиру" с правильным ответом "Маша не любит Ваню". Потому что $(A\Rightarrow B)\Rightarrow(\neg A\Leftarrow\neg B)$ .

Вы имеете ввиду такую задачу:
Если Маша не делает Ване предложения вместе снимать квартиру, то она его не любит.

Ответов может быть два.
И оба правильные.
1. Любит
2. Не любит

Какой у вас вариант постановки задачи, чтобы был только один ответ:
Маша не любит Ваню.

[B@R5uk]

ludwig51 в сообщении #1282693 писал(а):

Ваня и Маша - студенты.
Если Маша любит Ваню, то она сделает ему предложение вместе снимать квартиру.
Маша не делает Ване такое предложение.
Вопрос: Любит ли Маша Ваню?

Варианты ответов:
1. Да, Маша любит Ваню.
2. Ваня любит Машу.
3. Нет, Маша не любит Ваню
4. Ваня не любит Машу.
5. Другое.

Правильный ответ 3.

[ludwig51]

B@R5uk в сообщении #1283285 писал(а):

ludwig51 в сообщении #1282693 писал(а):

Ваня и Маша - студенты.
Если Маша любит Ваню, то она сделает ему предложение вместе снимать квартиру.
Маша не делает Ване такое предложение.
Вопрос: Любит ли Маша Ваню?

Варианты ответов:
1. Да, Маша любит Ваню.
2. Ваня любит Машу.
3. Нет, Маша не любит Ваню
4. Ваня не любит Машу.
5. Другое.

Правильный ответ 3.

Я такое не писал.

Но если вы сделали такую постановку задачи, то я не понимаю ваш ответ.
Из вашей постановки задачи, Маша не делает предложение вместе снимать квартиру.
Но она, тем не менее, может любить Ваню.

[miflin]

Mikhail_K в сообщении #1283273 писал(а):

Ну да. Хотя утверждение записано у Вас не очень внятно, но суть понятна.

... не совсем уверенно ответил Mikhail_K...
Образовался вязкий микс из формальной и житейской логики...
Так любит она его или нет (крик души)?

[thething]

ludwig51
Возможно только $A$ или $\neg{A}$ и третьего не дано. Пусть $A$ -- М. любит В. Возможно ли $A$? (это к задаче, предложенной B@R5uk)

-- 12.01.2018, 17:09 --

miflin в сообщении #1283509 писал(а):

Так любит он его или нет (крик души)?

[miflin]

thething, спасибо, исправил.

[B@R5uk]

ludwig51 в сообщении #1283505 писал(а):

Я такое не писал.

Потому что я исправил вашу задачу на свой лад.

ludwig51 в сообщении #1283505 писал(а):

Но она, тем не менее, может любить Ваню.

Вот это, как верно заметили выше, отличие житейской логики от математической. Исходя из условия моего варианта задачи, можно однозначно определить состояние Машиных чувств к Ване. Собственно, именно этой однозначностью моё условие задачи мне нравится больше, чем ваше, где такой однозначности нет.

[ludwig51]

B@R5uk в сообщении #1283530 писал(а):

Вот это, как верно заметили выше, отличие житейской логики от математической.

Моя задача на математическую логику.
Сформулирую её так:
$A\Rightarrow B$
$B=1$ (событие - истина) Маша делает предложение Ване вместе снимать квартиру.
Найти $A$ (A - факт)
$A=1$ истина. Маша любит Ваню
или $A=0$ ложь. Маша не любит Ваню

Найти решение не по житейской логике, а математической.

[Otta]

ludwig51
Импликация истинна в обоих случаях. Так что $A$ - какое угодно.

[ludwig51]

Otta в сообщении #1283581 писал(а):

ludwig51
Импликация истинна в обоих случаях. Так что $A$ - какое угодно.

Задача решена.
Более вопросов нет.
Импликация:
Если $A$, то $B$
или
$A\Rightarrow B$
Таблица логической функции импликации:
$A$ $B$ $A\Rightarrow B$

$1\, \,\,\, 0\, \, \,0$

$0 \, \,1\,\, \,1$

$0\, \, \,0 \,\, \,1$

$1\, \, \,1\,\, \,1$

где при B=1
A может принимать значения или 0, или 1.

Otta,
Спасибо за помощь.

[miflin]

Dmitriy40 в сообщении #1282695 писал(а):

у Маши кроме любви мог быть миллион других причин сделать предложение.

А почему мы должны придумывать другие причины, если о них ничего не говорится в условии задачи?

[Dmitriy40]

miflin
Придумывать не должны. Это была иллюстрация что наблюдаемое следствие может наступить не только исключительно по указанной причине, а и по любой другой причине. Ну или вовсе без оных, если Вам так не нравится расширение списка причин сверх оговоренных в условии.

[miflin]

Dmitriy40 в сообщении #1283613 писал(а):

Придумывать не должны. Это была иллюстрация что наблюдаемое следствие может наступить не только исключительно по указанной причине, а и по любой другой причине

Это то же самое, что придумали, только в неявном виде. В условии указана одна причина, если воспринимать его именно формально,
а не с житейской точки зрения.

[Dmitriy40]

miflin
Ок, но предложение могло последовать и без причины вообще.
Вы чего от меня добиваетесь? Мои слова не были формальным доказательством (оно кстати тут правилами запрещено), лишь иллюстрацией возможности отсутствия жёсткой связи наблюдаемого следствия и указанной в условии причины.