sineemore

На форуме заметила фразу "Не все из того, что ездит - автомобиль". С точки зрения формальной логики означает ли это, что автомобиль обязательно ездит?

     

Yasmin

    кто голосовал?  

ptzmies

     

Yasmin

Как бы функция автомобиля - ездить.
Зачем он еше нужен))

     

sineemore

С точки зрения формальной логики же. Это типа как "если все кошки серы, значит ли это, что все, что серое - это кошки"?

То есть там не важно, какое значение у слов, главное - их соотношения между собой.

Например: Все машины зеленые. Все зеленое летает. Летают машины?

     

Yasmin

я инженер, я так не умею

     

sineemore

Этому на математике в теории множеств учат, вроде бы... Хотя все эти дисциплины я плохо помню.

     

ptzmies

С какого такого перепугу? Не все серое - кошки.
Из институтской программы помню:
— Сказанное Платоном — ложно, — говорит Сократ.
— То, что сказал Сократ, — истина, — говорит Платон.
Вопрос - кто из них высказывает истину, а кто ложь?
Море, хорош уже хрень постить, а? Ну пожалуйста.

     

sineemore

Ну это типа парадокс - про Сократа с Платоном.
Мне лично хренью кажется ветка про осенние поцелуи, к примеру. Но я туда и не пишу.
Как говорил мой друг: не нравится - иди в другую столовую.

     

lemila

Грибы размножаются спорами.
В спорах рождается истина.
Грибы - это истина.

#псилоцибы нашевсе#

    кто голосовал?  

parolg

Али Мухмад Абдурахман родился в Финляндии.
Он - финн.
Мой хомяк родился в аквариуме.
Хомяк -- рыбка?

     

sineemore

Нет, конечно, не рыбка. Он акваритянин)

     

Рикошет

Сегодня выборы в единый день голосования в РФ.
Связаны ли последние события на границах с этим праздником...?

     

Onika1987

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

     

ponom

Нет. Это азы булевой алгебры, студенты проходят это на первом курсе.

Утверждение "Не все из того, что ездит - автомобиль" всего лишь сообщает нам следующую информацию:

Есть два множества А (множество автомобилей) и Б (множество способных ездить).
Множества А и Б пересекаются, но множество Б не является подмножеством множества А.

Можно ли из этой информации сделать Ваш вывод, что тогда А является подмножеством Б? Нет. С чего бы?


нет


да

    кто голосовал?  

sineemore

Именно так. Просто можно подумать, что раз фраза "не все из того, что ездит - автомобиль" подразумевает то, что автомобили ездят, то значит ездят все автомобили. А там как раз и не говорится, что все.

Люблю такие задачки...

     

Hunter5171

Вы мне сломали мозг. Кто будет компенсировать травму?

     

ponom

Я не хотел, простите. Давайте я Вам для компенсации расскажу историю в тему.

Как то раз я заподозрил одного африканского студента (он ко мне попал на втором курсе), что он не знает сложения и вычитания. Я его и спрашиваю:

- Сколько будет 65 минус 9?
- 58.

- А сколько будет 39 минус 4?
- 37.

- А сколько будет 52 минус 6?
- 48.

- А как Вы умудрились перейти с первого курса на второй?

То есть человек складывает и вычитает интуитивно, зная, что число после вычитания должно стать меньше. Куда-то этот студент потом делся, наверное перевелся в другой вуз...

    кто голосовал?  

HelVa

У Кэрролла про это есть. Алиса где-то там упомянула, что говорит, что думает и думает, что говорит (или как-то так). За что ей попало то ли от Шляпника, то ли от Герцогини, мол, это абсурд и то же самое, что говорить вижу, что ем и ем, что вижу - одно и то же... В общем, я плохо помню, но как раз подобный же логический расклад был.

А кто такой Буль?

     

ponom

Джордж Буль (англ. George Boole; 2 ноября 1815, Линкольн — 8 декабря 1864, Баллинтемпл, графство Корк, Ирландия) — английский математик и логик. Профессор математики Королевского колледжа Корка (ныне Университетский колледж Корк) с 1849 года. Один из основателей математической логики.

От его фамилии - название логического типа данных "boolean" во многих языках программирования. Переменные этого типа могут принимать два значения, TRUE (истина) или FALSE (ложь).

Если кому-то нужно для самообразования, то я могу порекомендовать, например, вот эту книгу:

Кузнецов О. П. "Дискретная математика для инженера"

    кто голосовал?  

sineemore

-- Так бы и сказала, -- заметил Мартовский Заяц. -- Нужно
всегда говорить то, что думаешь.
-- Я так и делаю, -- поспешила объяснить Алиса. -- По
крайней мере... По крайней мере я всегда думаю то, что
говорю... а это одно и то же...
-- Совсем не одно и то же, -- возразил Болванщик. -- Так ты
еще чего доброго скажешь, будто ``Я вижу то, что ем'' и ``Я ем
то, что вижу'', -- одно и то же!
-- Так ты еще скажешь, -- проговорила, не открывая глаз,
Соня,--будто ``Я дышу, пока сплю'' и ``Я сплю, пока
дышу'',--одно и то же!
-- Для тебя-то это, во всяком случае, одно и то же! --
сказал Болванщик, и на этом разговор оборвался.

Но это посложнее, чем мой пример, вроде бы. Интересно, а ponom как ответит на эту загадку. Какие тут принципы математики или логики?

    кто голосовал?  

Одиссей

Все просто: импликация не коммутативна.

-----------------
μηδὲν ἄγαν

     

sineemore

Не могли бы Вы расшифровать, не все ведь помнят / знают математику.

     

Одиссей

Выражения выше Льюис Кэррол записал в форме "если.. то..":
"Я вижу то, что ем" = "если 'я ем X' то 'я вижу X'". Связку "если.. то.." называют "импликацией" и
рисуют стрелочкой "я ем X -> я вижу X" (если бы их записывал Чарльз Доджсон, то он наверняка так со стрелочками и написал).
https://ru.wikipedia.org/wiki/%D0%9...%86%D0%B8%D1%8F

Коммутативностью называют возможность менять местами то, что в бинарной операции стоит слева и справа.
Например в арифметике сложение коммутативно: a+b = b+a, а вычитание нет: 3-2 не равно 2-3.
https://ru.wikipedia.org/wiki/%D0%9...%86%D0%B8%D1%8F

Так вот: логическая связка "импликация" не "коммутативна".

Разобрался с этим еще древнегрек Аристотель. Но потом древние римляне, как всегда, выдумали для вполне понятных вещей непонятные латинские слова "импликация", "коммутативность" и все запутали.

Запутать сильнее можно только если добавить "обратных импликаций", "кванторов всеобщности", "одноместных предикатов" и применить "метод резолюций".

-----------------
μηδὲν ἄγαν

    кто голосовал?