Введение в логику, урок 1: Базовые понятия

แชร์
ฝัง
  • เผยแพร่เมื่อ 16 พ.ค. 2024
  • 🌸 СКИДКИ ДО 80 000р. до 14 мая: ru.hexlet.io/link/cR8UTP
    🔥 Бесплатный курс «Введение в программирование»: ru.hexlet.io/link/WzF4Nm
    ✅ Полезные вебинары по программированию каждую неделю: ru.hexlet.io/link/nLx68V
    Классическая логика является формальной основой для 99% современной математики. Понимание принципов логики - обязательно для настоящего программиста.
    Полезные ссылки:
    - Блог Хекслета. Об образовании: ru.hexlet.io/blog/categories/...
    - Истории успеха: ru.hexlet.io/blog/categories/...
    Автор: Рахим Давлеткалиев (rakh.im/)
    Таймкоды:
    0:00 Приветствие
    0:20 Высказывания
    2:30 Логические операции. Логическое И
    3:30 Логические операции. Логическое ИЛИ
    4:10 Логические операции. Исключающее ИЛИ
    4:32 Логические операции. Эквиваленция
    5:01 Логические операции. Отрицание
    5:20 Логические операции. Импликация
    6:03 Таблица истинности
    9:35 Пример использования
    12:30 Теорема 1.1 Ассоциативность
    13:20 Теорема 1.1 Коммутативность
    13:50 Теорема 1.1 Дистрибутивность
    14:25 Теорема 1.1 Двойное отрицание
    15:08 Теорема 1.1 Законы Де Моргана
    16:01 Теорема 1.1 Простые утверждения
    16:32 Доказательство. Интуитивный подход
    17:32 Доказательство. Вывод одного из другого
    18:08 Доказательство. Перебор всех вариантов
    19:42 Доказательство дистрибутивности
    20:38 Законы. Детали
    23:10 Закон Де Моргана
    26:00 Закон импликации
    26:55 Домашнее задание
    #IT #математическаяЛогика #логика#обучение #программирование

ความคิดเห็น • 567

  • @alexbalashov8077
    @alexbalashov8077 8 ปีที่แล้ว +105

    Многое из этого мы используем в жизни , но формулы дают возможность сложить все в правильную комбинацию , а это первый шаг на пути к успеху - понять где ложь и найти правду) Ещё раз спасибо за урок)

  • @Leonard_Gray
    @Leonard_Gray 6 ปีที่แล้ว +46

    До 24:00 всё было понятно. Прежде, чем оперировать такими утверждениями, нужно было выпустить:
    'Введение в логику, урок 0: Определение реальной жизни'

  • @alexwhite3126
    @alexwhite3126 10 ปีที่แล้ว +67

    Хорощо,что есть такие люди как ты

  • @Zatomis
    @Zatomis 7 ปีที่แล้ว +153

    спасибо тебе, человек, создавший это видео!

    • @user-ip8gz7li5c
      @user-ip8gz7li5c 2 หลายเดือนก่อน

      ОГРОМНОЕ СПАСИБО !!!! Очень всё доступно и легко запоминается . Лайк и подписка .

  • @user-mr2ge9ki6r
    @user-mr2ge9ki6r 3 ปีที่แล้ว +3

    Про бритых и спортивных я рассматривал бы по методам: 1 что первое и в каком направлении 2. Эти критерии на одном объекте или нет 3 воспроизводимы ли эти критерии на параллельных или смежных объектах 4 что выступает в роли единички " 1" анализа ( движущая сила исключающее нейтралитет , делающее анализ актуальным)

  • @FiX_PlaYsow
    @FiX_PlaYsow 4 ปีที่แล้ว +8

    большое спасибо! кратко, чётко и понятно.

  • @user-no9iq5rp6m
    @user-no9iq5rp6m 8 ปีที่แล้ว +3

    вот в этих курсах более удобно прописаны лекции, то что объясняется в реальности то и выведено на экран, в таких лекциях, как например "Операционные системы" показывается вся информация, и когда просматриваешь слайд, стараешься не обращать внимание на то , что еще не объясняется, но тем не менее отвлекаешься на то, что не объясняется)))) все равно спасибо за лекции)

  • @gohnetroner1533
    @gohnetroner1533 4 ปีที่แล้ว +11

    Спасибо большое. Один из не многих кто может объяснить нормально.

  • @M27B_our_victory
    @M27B_our_victory 3 ปีที่แล้ว +8

    После повторения математика, что-то начинаю понимать!)

  • @Aksikk
    @Aksikk 4 ปีที่แล้ว +72

    очень простая тема очень сложным языком.

    • @daveshouldaine2520
      @daveshouldaine2520 3 ปีที่แล้ว

      Тема объясняется научным языком)

    • @user-ns3id1fc8g
      @user-ns3id1fc8g 3 ปีที่แล้ว +1

      @@daveshouldaine2520 не смешите.это ненаучное старье 200 летней давности.

    • @daveshouldaine2520
      @daveshouldaine2520 3 ปีที่แล้ว +1

      @@user-ns3id1fc8g ненаучное? обоснуйте
      P. S. знаки препинания важны!

    • @maths_smasher
      @maths_smasher 3 ปีที่แล้ว +6

      @@user-ns3id1fc8g мат логика ненаучна?! АХАХАХАХХАХАХА

  • @borik2405
    @borik2405 3 ปีที่แล้ว +31

    Спасибо ютубу за такие рекомендации в 2021
    P.S. Ролик 2013

  • @CarlGauss2024
    @CarlGauss2024 6 ปีที่แล้ว +18

    Вот такой должен быть топовый блоггер.

  • @v.b.5972
    @v.b.5972 5 ปีที่แล้ว

    Спасибо большое за информацию.

  • @ZAV-83
    @ZAV-83 3 ปีที่แล้ว +3

    Хорошие уроки. Спасибо

  • @ForgottenSoulll
    @ForgottenSoulll 8 ปีที่แล้ว +4

    красава мужик все довольно доступно, по крайней мере мне, за что тебе спасибо

  • @dokshy
    @dokshy ปีที่แล้ว +1

    Ну очень интересно и увлекательно, чудесно доносите информацию, спасибо за видео

  • @whitewii9008
    @whitewii9008 4 ปีที่แล้ว +3

    Спасибо большое! Молодец

  • @nej1r336
    @nej1r336 7 ปีที่แล้ว +7

    приятно знать что есть в нашей стране те 100000 человек, которым интересна математическая логика

    • @dandy_0853
      @dandy_0853 3 ปีที่แล้ว

      тупых студентов, которые не поняли на лекции)

    • @user-nz7kw1jp6n
      @user-nz7kw1jp6n 2 ปีที่แล้ว +2

      Не стоит так, категорично, я вообще не был студентом😉

  • @alexkos2593
    @alexkos2593 3 หลายเดือนก่อน

    невероятно интересно. Спасибо автору!

  • @user-mg7uj3ui9j
    @user-mg7uj3ui9j 3 ปีที่แล้ว +14

    Мне как человеку знакомому с минимальными азами программирования было довольно легко и интересно смотреть)

    • @useragent000
      @useragent000 3 ปีที่แล้ว

      а ты С-шник? А то после него данное медиа легко понимать.

    • @user-mg7uj3ui9j
      @user-mg7uj3ui9j 3 ปีที่แล้ว +1

      @@useragent000 да нет. С++.

    • @useragent000
      @useragent000 3 ปีที่แล้ว

      @@user-mg7uj3ui9j тоже класс!

    • @salovbokah
      @salovbokah 2 ปีที่แล้ว

      Джаваскриптизёр на месте. Зашло плавно))

    • @user-gb7sz8qe1f
      @user-gb7sz8qe1f 2 ปีที่แล้ว +1

      Мне как начинающему, вообще начинающему в этой области непонятно только одно.
      На 19:55 (к примеру) похоже опечатка в пункте (b и c), должно же быть (b или c) иначе не сходится с логическим "И" ...или я что-то упускаю?

  • @user-sy5rz5bv6l
    @user-sy5rz5bv6l 5 ปีที่แล้ว

    Спасибо. Понятно объяснил.

  • @vishegor4274
    @vishegor4274 5 ปีที่แล้ว +1

    Благодарю за инфу, очень познавательно!

  • @user-jb3cd5uk2j
    @user-jb3cd5uk2j 7 ปีที่แล้ว

    Спасибо большое за видео

  • @user-zu1ub3yz7r
    @user-zu1ub3yz7r 4 ปีที่แล้ว +3

    Всё очень просто. Логика -- это наука о мышлении . О том как мы мыслим можно узнать только по нашей речи . Говорим мы словами , значит анализ слов является задачей логики , если кто то не понимает что ему сказали , и характеристикой мышления . Анализ слов - это точное знание значения того , что надо понимать под тем или иным словом ! Пример : что обозначает слово -- ПОНЯТИЕ. Понятие -- это научный термин используется в философии и науке логики , наука логики в свою очередь входит в философию , ещё слово -- ПОНЯТИЕ используется в бытовой речи , но там оно используется бессознательно . Слово ПОНЯТИЕ произошло от слова -- ПОНИМАТЬ , или наоборот . Понятие надо понимать , а вот реальный предмет надо воспринимать органами чувств , понимать там особенно нечего , так получается . В нашем мире существуют предметы и их названия , больше ничего не существует . Но существуют ещё названия названий и названия названий названий ! Вот названия названий и называют ПОНЯТИЯМИ . Понятия ещё называют -- АБСТРАКТНЫМИ ПОНЯТИЯМИ , или для краткости -- АБСТРАКЦИЯМИ ! Значит , ПОНЯТИЕ , АБСТРАКТНОЕ ПОНЯТИЕ , и АБСТРАКЦИЯ - это одно и тоже , или , эти слова обозначают одно и тоже . Все научные термины физики , математики и других наук -- это на 99 процентов АБСТРАКТНЫЕ ПОНЯТИЯ !! Простой пример : столы стулья шкафы -- это НАЗВАНИЯ , мебель -- это ПОНЯТИЕ . Яблоко груша слива -- это НАЗВАНИЯ конкретных предметов , плоды -- это АБСТРАКТНОЕ ПОНЯТИЕ !! Время пространство материя бесконечность - это понятия , как таковые они не существуют их нельза увидеть или потрогать в отличии от реальных предметов !! Все понятия находятся в соотношении друг к другу , в соотношении КООРДИНАЦИИ и СУБОРДИНАЦИИ , то есть одни понятия могут входить в другие , а эти в свою очередь в третьи и четвертые !! Вот в кратце что такое логический разбор или по научному , анализ , используемых в языке слов . Такой разбор и является предметом науки логики или коротко -- логики !! Можете сами попробовать на любом научном слове ( термине ) !! К стати , словосочетание НАУКА ЛОГИКИ , является более конкретным , тоже, понятием , а слово ЛОГИКА более абстрактным , так как оно является как бы , -- сокращением , более длинного понятия , и первое как бы входит во второе . Так как понятие всегда абстрактно , то словосочетание -- абстрактное понятие это в общем , тавтология , это всё равно что сказать : " цитрусовый апельсин или мебельный шкаф " !! Разбор тавтологий , тоже можно отнести к задачам логики . Но самое главное что создаёт огромную проблему и очень большие трудности , это понять что все научные абстрактные понятия во всех науках -- это пустышки , у которых нет собственного СОДЕРЖАНИЯ , всё содержание находится в реальных предметах в реальном мире, все эти понятия всего лиш -- ОБОЗНАЧЕНИЯ , ОБОБЩЕНИЯ , и СОКРАЩЕНИЯ ( вот так вот , ТРИ В ОДНОМ ) , и ничего более под ними понимать не надо и нечего понимать , а для этого нужна многолетняя привычка . И здесь логика почти подошла к своей границе и переходит увы на поле философии, хотя бы к вопросу что первично что вторично ! Даже построение любой фразы произносимой человеком играет большую роль и может привести к неправильному пониманию всего научного материала , если не знать что первично что вторично в основном вопросе философии . Нельзя , например , говорить о механической интерпретации производной , как это делают математики и ставят всё с ног на голову ! Производная сама есть математическая и весьма условная интерпретация реальных зависимостей предметов и процессов в реальном мире ! Вот так неправильно сделанные общие ( философские ) выводы отражаются на логике , то есть , на нашем мышлении .

    • @AlekseiKazantcev
      @AlekseiKazantcev 4 ปีที่แล้ว

      видно сразу вам не лень стока букав писать, маладец👍, вы настоящий русский🇺🇦, Америка в шоке😯😮😱🇺🇲

    • @user-zu1ub3yz7r
      @user-zu1ub3yz7r 4 ปีที่แล้ว

      Delovoi Aleks ого , это читают даже в америке .

  • @user-wm5qv3bk9k
    @user-wm5qv3bk9k 3 ปีที่แล้ว +1

    СПАСИБО БОГУ ЗА ЛОГИКУ.

  • @vvasil8579
    @vvasil8579 2 ปีที่แล้ว +12

    Представьте себе комнату, в которую ведут две двери паралельно.
    1.Пройти в комнату можно в случае, если открыта одна дверь, или вторая или обе сразу. "'или".
    Если в комнату ведут последовательно две двери.
    2. Пройти в комнату можно только в случае, если и первая и вторая двери одновременно открыты. "и"

    • @user-sx8bb8sw1p
      @user-sx8bb8sw1p 2 ปีที่แล้ว

      интересный комментарий.а к чему он?

    • @vvasil8579
      @vvasil8579 2 ปีที่แล้ว +3

      @@user-sx8bb8sw1p это простой пример для зрительного понимания операций и, или.

    • @user-uy6sv6jb6b
      @user-uy6sv6jb6b ปีที่แล้ว

      А получится на примере дверей с "исключающим или"?

  • @andreib1plus552
    @andreib1plus552 3 ปีที่แล้ว

    Урок просто класс !!!

  • @levkornev1013
    @levkornev1013 3 ปีที่แล้ว

    Огонь! Видос супер

  • @silverfox8806
    @silverfox8806 ปีที่แล้ว +1

    Спасибо, готовлюсь к пересдаче

  • @yuriibech6691
    @yuriibech6691 2 ปีที่แล้ว

    Спасибо огромное!

  • @pontiuspilatus8475
    @pontiuspilatus8475 7 ปีที่แล้ว +8

    Было чуток не понятно, но пример с таней все наладил

  • @Nekswear
    @Nekswear 6 ปีที่แล้ว +9

    На моменте 20:28 опечатка - в доказательстве дистрибутивности.
    В основном выражении указано (b v c) (или), а в таблице находят b и с. Следовательно и в самой таблице получается так же неверные значения для второго и третьего столбцов.

    • @whocare1
      @whocare1 ปีที่แล้ว +4

      ВОООООООТ !!!!!!!!!! сидел думал что я совсем дурак

    • @user-ld7cm4ke2q
      @user-ld7cm4ke2q 2 หลายเดือนก่อน

      А мне, слава богу, хватило ума понять ошибку. Видимо можно засчитать за + в свою сторону. А то думал совсем тупой😂😂

  • @demoh_iz_pa9l306
    @demoh_iz_pa9l306 5 ปีที่แล้ว

    спасибо большое
    очень помогло

  • @gartweg453
    @gartweg453 6 ปีที่แล้ว

    Интересная лекция и нужная

  • @grishydev
    @grishydev 10 ปีที่แล้ว +5

    Очень красиво описано все и понятно!!1 :)

  • @user-vn5nd1ud4i
    @user-vn5nd1ud4i 3 ปีที่แล้ว

    Все правильно объясняет 👍четко бро

  • @user-fh9wx3bk1b
    @user-fh9wx3bk1b 7 ปีที่แล้ว +1

    Спасибо автору, все очень понятно, приятно смотреть!

  • @alexdantonyk1601
    @alexdantonyk1601 5 ปีที่แล้ว +12

    Если у кого-то возникает вопрос, а зачем логика вообще нужна, мол, возможно, это всё для учёных, которые создают различные технологии, а обывателям это не нужно, - вот достаточно наглядный пример: th-cam.com/video/UoKlKx-3FcA/w-d-xo.html
    Выражаю автору огромную благодарность! Логика - один из столпов, с которым общество может жить эффективней. IMHO

    • @user-mn2po8ns2z
      @user-mn2po8ns2z 2 ปีที่แล้ว

      блее, и причём здесь этот классный мем, я кншн понимаю что это холиварная тема, но твой аргумент, вообще не параметр, посмотреть интересно, когда-нибудь, где-нибудь в далёкой галактике, если не забудешь, может и пригодится, как я однажды упомянул распределение Гаусса при начальнике, глаза у него были, будто я марсианский факультет обкончил, а на деле так к слову подвернулось, так вот об чём я, складывание котов и снега, не особо помогает, когда приходится дебажить компоненты на реакте или/и что-то типа такова, так что это интересно и анал хороший, но надо быть немножечко реалистами, а не скидывать притянутые за уши, реально смешные мемы, которые воабщэ никак сюды не ложутся. Я тоже смотрю, так/интересно, но пыздеть што без знания как делать тройное сальто или брать тройной интеграл ну прям всё.

    • @user-mn2po8ns2z
      @user-mn2po8ns2z 2 ปีที่แล้ว

      и кст th-cam.com/video/ip66mO6sdf8/w-d-xo.html

    • @user-du6pn7dw5h
      @user-du6pn7dw5h 2 ปีที่แล้ว +1

      Видосик зачетный🤣🤣👏 Хоть кого можно убедить хоть в чем🤣🤣🤣

  • @RusFedor
    @RusFedor 9 ปีที่แล้ว +48

    Небольшое уточнение.
    Речь идет о логике высказываний, которая входит в математическую логику.
    Логика высказываний (позициональная логика) описывает логическую форму наших мыслей, то есть способ связи высказываний. При этом содержательные части выражения языка заменяются на бессодержательные переменные.
    конъюнкция - логическое умножение
    дизъюнкция - логическое сложение
    неравнозначность - исключающее "или"
    эквиваленция - логическое тождество
    отрицание - инверсия
    импликация - логическое следование
    Еще не все используемые символы показаны.
    Больше нечем дополнить. Оценка на хорошо с плюсом!

    • @toffeeleto
      @toffeeleto 6 ปีที่แล้ว

      спасибо, что разъяснили! теперь ясно, откуда цифры берутся

    • @Roman-bp1cu
      @Roman-bp1cu 5 ปีที่แล้ว +2

      RusFedor Спасибо вам человеческое. Вы лучше объяснили, чем автор ролика.

    • @user-pe8xm4xh1w
      @user-pe8xm4xh1w 4 ปีที่แล้ว

      Почему 4 +
      На 5 не потянешь?

  • @njs4724
    @njs4724 8 ปีที่แล้ว +3

    Точнее сказать, в уравнениях не было сказано, нравятся ли Тане мальчики "не бритые и не в спортивных штанах". Поэтому мы не можем однозначно написать второе уравнение. Оно может быть "или" или "xor"

  • @a1shath_khnm
    @a1shath_khnm 4 ปีที่แล้ว +6

    В таблице на 19:43 в четвертом столбце неправильная шапка
    Там же ("b" v "c") должно быть, а у тебя конъюнкция почему-то

  • @user-tx1vw8ru4p
    @user-tx1vw8ru4p 6 ปีที่แล้ว

    Подскажите, пожалуйста, что означает ">=1" с двумя входами и одним инверсным выходом. Или это обычная дизъюнкция "1"?

  • @andrejbielousov4931
    @andrejbielousov4931 5 ปีที่แล้ว

    Автору спасибо.
    Единственный на Ютубце человек кроме Убермаргинала, сумевший объяснить по-настоящему доступно.

  • @Syllogist
    @Syllogist 5 ปีที่แล้ว

    НЕЛОГИЧНОСТИ В ЗАКОНАХ ЛОГИКИ (Универсумная логика - введение): th-cam.com/video/RLTQGy4kHGo/w-d-xo.html

  • @wtsiamruk
    @wtsiamruk 8 ปีที่แล้ว +9

    Чёрт, смотрю 15 минут, совершенно ничего не поспеваю и не улавливаю, наверняка придется пересматривать, ставить на паузу раз в минуту и конспект вести, ааа

    • @dabrodazlo13
      @dabrodazlo13 4 ปีที่แล้ว +1

      та же проблема

  • @vmolos
    @vmolos 4 ปีที่แล้ว +8

    Аристотель определил первый закон логики следующим образом: "Иметь не одно значение - значит не иметь ни одного значения; если же у слов нет значений, тогда утрачена всякая возможность рассуждать друг с другом,а в действительности и с самим собой; ибо невозможно ничего мыслить, если не мыслить что-нибудь одно.

    • @user-jx6bl6qr3o
      @user-jx6bl6qr3o ปีที่แล้ว +4

      Два года кавычки остаются открытыми. Это ужасно..

    • @user-iz9sj1nn5q
      @user-iz9sj1nn5q ปีที่แล้ว +2

      @@user-jx6bl6qr3o ")

    • @0xf000
      @0xf000 3 หลายเดือนก่อน

      ​@@user-jx6bl6qr3oуже.три года.прошло....

  • @masguarayo8442
    @masguarayo8442 6 ปีที่แล้ว +38

    вот еще мнемонический прием: v, как "vel" - лат. "или"

    • @hiddendope
      @hiddendope 2 ปีที่แล้ว

      или v как 'vOR' - или, что уже ближе к программированию

  • @alexdantonyk1601
    @alexdantonyk1601 2 ปีที่แล้ว +4

    1) 8:36 Я считаю, что сравнение операций _«строгого или»_ и _«нестрогого или»_ лишь создаёт путаницу в умах! Только от того, что эти две операции имеют разницу в одно значение, совершенно не означает, что одни однотипны или похожи: ведь имеется много пар логических операций с разницей в одно значение. _(Также я не понимаю, зачем эти две операции назвали одним и тем же словом «или» - ведь это же прямое нарушение закона тождества! Однако эта претензия уж точно не в адрес автора данного видео.)_
    Думаю, хорошим примером было бы сравнить _«строгое или»_ с _«эквиваленцией»_ - они противоположны в значениях: в первой истинна *разница* в значениях, во втором истинны *совпадения.* _ИМХО_
    2) 12:33 Ассоциативность также справедлива и для операции _«эквиваленция»._
    3) 16:15 Пункты 3 и 4 - это преобразование «эквиваленции» (a → a, a ↔ b - оба выражения означают «эквиваленцию»).
    4) 24:40 Выражение ¬(a ˄ b) означает _"Тане не нравятся мальчики, если они бритые _*_И_*_ в спортивных штанах."_ Здесь всё верно. Однако, при перефразировании, помимо двух озвученных вариантов - _"Тане нравятся бритые мальчики без спортивок"_ и _"Тане нравятся мальчики в спортивках, но небритые",_ - не следует забывать и третий: _"Тане нравятся мальчики, когда они одновременно небриты и не в спортивках"._

  • @seoonlyRU
    @seoonlyRU ปีที่แล้ว +1

    чотенько! Лайк от известнейшего СЕООНЛИ!

  • @signalone9072
    @signalone9072 5 ปีที่แล้ว

    обожаю тебя, как круто всё объясняешь, уроки С++ по разработке компьютерных игр, будут?

    • @aferist_v_seti4354
      @aferist_v_seti4354 4 ปีที่แล้ว

      Брат, я как опытный(2 года занимался разработкой 3D игр)
      Скажу тебе, что если хочешь научиться разрабатывать игры то легче всего на Unity. Там и видео уроков на Ютубе больше, советую искать видео по разработке игр на английском языке

    • @Libirmanmovies
      @Libirmanmovies 3 ปีที่แล้ว

      @@aferist_v_seti4354 игры делают как я понимаю фанаты игр? Это же логично да ?

    • @aferist_v_seti4354
      @aferist_v_seti4354 3 ปีที่แล้ว

      @@Libirmanmovies от части логично, но по твоей логике выйдет бесконечная петля, если разработчики (фанаты игр) они вдохновили пройдя другую игру от таких же фанатов, и так до бесконечности, а так вполне возможно

    • @thrashmetal1356
      @thrashmetal1356 ปีที่แล้ว

      @@aferist_v_seti4354Позвольте спросить вас, как опытного человека.. Если это ещё актуально. Я - 3Dшник. И с Юнити знаком с этой стороны. Но хотел бы и программировать в нём, на C#. Лет 6 назад занимался языком Actionscript 3.0. Упорства в должной мере не проявил, бросил. Вот, решил совершить ещё одну попытку. Обнаружил, что изученный синтаксис языка помню, будто было вчера. И если понимаю ЧТО делать, то понимаю КАК это сделать. Абсурдно на сегодняшний день, ибо Флеш давно ушёл, но решил не менять язык, во избежании тормозов ещё и по этому аспекту. И взялся писать банальную программку, чтобы понять смогу ли вообще что-либо создать. Если получится - начну осваивать Шарп. Могли бы вы дать совет в плане движения? Язык - самое простое. Посоветовали параллельно поизучать низкие уровни, ассемблер, паскаль, якобы это даст понимание.. Но интуитивно чувствую, что дело не в этом. Вероятно, попросту нет мышления в эту сторону, понимания, голова не туда повёрнута что ли.. Может быть посоветуете что именно нужно для старта? Это проблема логики, или просто нужен базовый курс программирования, не прицепленный к какому-либо языку? Или же, если сам не додумался как написать калькулятор к примеру, то дело труба, и никакие попытки не имеют смысла? Заранее спасибо.

  • @YURMAIL
    @YURMAIL 4 ปีที่แล้ว

    Формальная логика - это операции с понятиями и суждениями, истинность или ложность которых заданы..
    Мы говорим - "из А следует В", обозначая это высказывание символами: А -> В
    Ложно это утверждение или истинно зависит от содержания символов А и В.. но, содержание символов не входит в операции формальной логики.. Это надо понимать и из этого исходить..

  • @user-mf3qq2oo4j
    @user-mf3qq2oo4j 3 ปีที่แล้ว

    Молодцы.

  • @irina7632010
    @irina7632010 7 ปีที่แล้ว

    услышал ты говорил про книгу в 6 видео, а где ссылка на книгу то?

  • @mariyasas5418
    @mariyasas5418 ปีที่แล้ว +2

    Люди, которые обсуждают,дополняют лекцию, кто вы все?Как это можно понимать?

  • @nypera7734
    @nypera7734 5 ปีที่แล้ว

    Наконецто нормаль голос и все понятно

  • @user-dz1wt7zo9u
    @user-dz1wt7zo9u ปีที่แล้ว +5

    Спасибо за введение. Я не понял ничего 🎉

  • @padlazen3105
    @padlazen3105 8 ปีที่แล้ว +29

    на 20:00 ошибка в шапке таблицы. Вместо (b И c) должно быть (b ИЛИ c)
    :P

    • @ukulele.shorts
      @ukulele.shorts 4 ปีที่แล้ว +1

      Там всё правильно.

    • @user-li9be3jj3z
      @user-li9be3jj3z 3 ปีที่แล้ว

      камон,все норм

    • @user-li9be3jj3z
      @user-li9be3jj3z 3 ปีที่แล้ว

      сказал бы что в четвертой таблице

    • @igornev2878
      @igornev2878 3 ปีที่แล้ว

      @@ukulele.shorts В четвертой колонке мы вычисляем b или c, а запись в шапке b и c.

    • @user-be1rn3me8m
      @user-be1rn3me8m 3 ปีที่แล้ว

      Я вот тоже долго не мог понять, почему у него в результате 0;1;1. Потом увидел ошибку

  • @lendelgalyna1042
    @lendelgalyna1042 5 ปีที่แล้ว +1

    thanks

  • @whlsd266
    @whlsd266 ปีที่แล้ว

    смотрю за два часа до сессии)))

  • @user-ow3mt5hj2y
    @user-ow3mt5hj2y 4 ปีที่แล้ว +5

    Очень советую книгу Чарльза Петцольда К.О.Д. для тех кто хочет разобраться в устройстве ЭВМ, там всё очень подробно и доходчиво объясняется.

    • @AlekseiKazantcev
      @AlekseiKazantcev 4 ปีที่แล้ว

      а лекции на ютубе тоде есть же, стоит их смотреть?

  • @dolfrobelli5783
    @dolfrobelli5783 2 ปีที่แล้ว +6

    14:39 Пример двойного отрицания в русском языке: Я не не понимаю= я понимаю.

  • @TheManblax
    @TheManblax 6 ปีที่แล้ว +1

    20:04 В таблице истинности ошибка должно быть *b \/ c*

  • @user-nx2nd3kz9u
    @user-nx2nd3kz9u 3 ปีที่แล้ว

    Двойное отрицание это как минус на минус даёт плюс в матиматике. Если брать что минус это отрицание, а плюс это утверждение.

  • @user-mr2ge9ki6r
    @user-mr2ge9ki6r 3 ปีที่แล้ว

    Двойное отрицание а даст а положительное если а связано с двумя взаимозависимыми элементами исключающим друг друга, отрицая которые выйдем на а положительное. Если два раза сказать " нет" оно " нет " и останется в третий раз. Не всегда но повтор может иметь разное значение.

  • @user-zs8wh7nk8v
    @user-zs8wh7nk8v 2 ปีที่แล้ว

    Смотрю этот ролик уже после контрольной по информатике

  • @user-pe8xm4xh1w
    @user-pe8xm4xh1w 4 ปีที่แล้ว +9

    У меня кот
    На улице снег
    -Кот истина
    -Снег не истина
    Но все вместе это истина))
    Кажись ты плохой пример показал, меня почти в депрессию вгнал)

    • @AlekseiKazantcev
      @AlekseiKazantcev 4 ปีที่แล้ว

      может потому что снег истина только когда он идёт? понимаешь? снег сам по себе не постоянный, кот же не может так часто как снег распродатся на атомы, но вместе они истина, сложный пример но понять можно

  • @noidnomad9567
    @noidnomad9567 7 ปีที่แล้ว +9

    19:30 бесконечность а то и еще больше... Ватсон!

    • @redchajek7349
      @redchajek7349 6 ปีที่แล้ว +2

      Noid Nomad нуу например числа омега

  • @martDKNY
    @martDKNY 6 ปีที่แล้ว +3

    Для транзитивности импликации, о которй мы поговорим позже 16:18
    Что ?

  • @Elena-wu1sg
    @Elena-wu1sg 2 ปีที่แล้ว

    объясните почему когда начинаешь доказывать 14 пункт "мелочей" (речь о том что в скобках) нужно сначала сделать А V B, а только потом делать всё это "отрицательным" а не уже отрицательную A использовать (( какую часть урока нужно переслушать чтоб понять?

  • @hiddendope
    @hiddendope 2 ปีที่แล้ว +1

    25:49 так получается, что -a or -b нужно дополнить тем, что Тане может понравиться небритый мальчик и в спортивных штанах или мальчик не в спортивных штанах, но бритый, раз ей нравятся бритые мальчики и мальчики в спортивных штанах, но не нравится, когда это всё истинно одновременно. Или я не понимаю? Думаю, обычного (-a) or (-b) тут недостаточно.

    • @alexdantonyk1601
      @alexdantonyk1601 2 ปีที่แล้ว

      a, b - это простые суждения (то есть такие, в которых есть один субъект и один предикат). Таня - субъект, тут всё нормально. Бритый мальчик, мальчик в спортивных штанах - два предиката, то есть это два простых суждения, лингвистически "сложенные" в одно (Тане нравится бритый мальчик. Тане нравится мальчик в спортивных штанах.)
      ¬ (a ˄ b) Тане не нравятся бритые и в штанах (вместе). [То есть все другие варианты ложны.]
      ¬ a ˅ ¬ b Тане не нравятся бритые (отдельно); не нравятся в штанах (отдельно); не нравятся бритые и в штанах (вместе). [То есть ложный лишь один вариант, когда вместе бритый и без штанов. Последнее - шутка ;) ]

  • @1iuh
    @1iuh 2 ปีที่แล้ว

    7:36 Значок "V" - расходятся (снизу вверх), т.е. не имеют общего, а предыдущий -"сходятся".

  • @Theoindigus
    @Theoindigus 3 ปีที่แล้ว +6

    Спасибо за видео) Кстати, всегда было интересно, почему операцию "исключающее ИЛИ" называют именно так, ведь по смыслу она соответствует союзу "ЛИБО"...

    • @user-xh5ul3su9i
      @user-xh5ul3su9i 2 ปีที่แล้ว

      Если а или б будет истина то на выходе получим истину(если нет инверсии) но вот если а и б будет истиной на выходе получим лож. Так что не либо либо.

    • @Yevd1977
      @Yevd1977 2 ปีที่แล้ว

      Либо = Или
      Исключающее = Зеркало

  • @KyrychenkoAnton
    @KyrychenkoAnton 9 ปีที่แล้ว

    в последнем примере закон де моргана записан в обратном направлении - ~(A+B) = (~A&~B) в то время как аналогии по фрейду автора про бритого мальчика в штанах описывает закон в прямом направлении - ~(А&B) = (~А+~B) в связи с чем возникает путаница. Нужно было тогда показать и формулу и объясняющий ее пример в одинаковом направлении, а потом сказать что закон работает и в обратном.

  • @user-mr2ge9ki6r
    @user-mr2ge9ki6r 3 ปีที่แล้ว +1

    Ха. В отрицании нолик где? Не "А" это не значит что "А" - истина. Если конфета не помидор, это не значит что изначально имелась ввиду конфетами как таковая. Возможно термин " конфета" был использован для выхода через ассоциативную связь на её содержание или положение. Так же бывают связи примера: конфета не помидор, но этот или другой помидор - конфета.

  • @user-kh8wg5in4q
    @user-kh8wg5in4q ปีที่แล้ว

    3:44 Как всё выражение может быть истинным, если одно из выражений не истинное? Обясните пожалуйста

  • @user-kk3sy7nu4o
    @user-kk3sy7nu4o 4 ปีที่แล้ว +79

    Нихуя не понял, но оч интересно.

    • @kloplo8942
      @kloplo8942 2 ปีที่แล้ว +3

      Не понял потому что автор говорить не умеет.

  • @anatolykehl2036
    @anatolykehl2036 2 ปีที่แล้ว +6

    Малость скомканно, многовато примеров паразитов и отстраненная над темой позиция лектора. Знать не значит уметь дать знания, но это по молодости. Кароче, очень хорошее дело ребятишки делаете, я двумя руками ЗА! Вам лайк.

    • @dlee7059
      @dlee7059 2 ปีที่แล้ว +1

      Хз. Я все понял вроде

  • @veronika_languagediaries
    @veronika_languagediaries 6 ปีที่แล้ว

    Всем привет! Кто разбирается в логике, помогите доказать, пожалуйста ((p->q)->p)->p

    • @user-rz5hb4mr2w
      @user-rz5hb4mr2w 5 ปีที่แล้ว

      Ника Марк у Вас ошибка в формуле, в концу поменяйте букву. Тогда это основное правило вывода в логике modus ponens. С помощью таблицы истинности докажите

  • @irhdheis5344
    @irhdheis5344 2 ปีที่แล้ว +2

    В принципе я понял, но у меня была идеальная концентрация(в 12 часов слушал, т.к. мозг очень активен и можно лучше понять)

  • @andrewshtykov5818
    @andrewshtykov5818 2 ปีที่แล้ว +2

    Так есть кот или нету?

  • @user-oj5gu2kb1k
    @user-oj5gu2kb1k 7 ปีที่แล้ว +1

    Почему на 20.16 в таблице b ^ c при значениях 0 и 1 выходит 1? Операция же стоит (and (^))В чем дело?

    • @sanya-san4384
      @sanya-san4384 2 ปีที่แล้ว

      Приветствую из будущего!) Если ты живой и прочёл это, то я буду этому рад. Тоже это заметил и не понял почему у так?! Странно, что нет ни одного комментария к твоему вопросу, так как я полез сюда именно за ответом на этот вопрос.

    • @sanya-san4384
      @sanya-san4384 2 ปีที่แล้ว

      Приветствую из будущего!) Если ты живой и прочёл это, то я буду этому рад. Тоже это заметил и не понял почему у так?! Странно, что нет ни одного комментария к твоему вопросу, так как я полез сюда именно за ответом на этот вопрос.

    • @user-oj5gu2kb1k
      @user-oj5gu2kb1k 2 ปีที่แล้ว

      @@sanya-san4384 Я то жив) Но почему так наверное будет тайной)

  • @user-kd3vy7vs8l
    @user-kd3vy7vs8l 4 ปีที่แล้ว

    Как проверить эквивалентность в С++?

  • @Syllogist
    @Syllogist ปีที่แล้ว

    08-04.ПРАВИЛЬНЫЕ СИЛЛОГИЗМЫ ДЛЯ ДЕТЕЙ И АКАДЕМИКОВ-1 / Valid syllogisms for children and academics-1: th-cam.com/video/Q0S3xI7f0so/w-d-xo.html

  • @user-pj6ce1wy4d
    @user-pj6ce1wy4d 4 ปีที่แล้ว

    круто

  • @user-wn7hm9nt8e
    @user-wn7hm9nt8e 9 ปีที่แล้ว +4

    Роман Добровенский прошу вас произнести : Паравозик тыр - тыр - тыр !

  • @Dobrovinskiy
    @Dobrovinskiy 5 ปีที่แล้ว

    14:40 В английском есть "ain't no" или "not at all" для обозначения "вообще не"

  • @nikkileo6561
    @nikkileo6561 7 ปีที่แล้ว +438

    Какой же я тупой(

    • @fartuh
      @fartuh 6 ปีที่แล้ว +40

      Нормально объясняет

    • @deniszheleznikov8722
      @deniszheleznikov8722 5 ปีที่แล้ว +11

      теперь умней

    • @user-ml6qg6ny3h
      @user-ml6qg6ny3h 5 ปีที่แล้ว +3

      Я такой же

    • @user-ml6qg6ny3h
      @user-ml6qg6ny3h 5 ปีที่แล้ว +13

      @@fartuh не нормально

    • @fartuh
      @fartuh 5 ปีที่แล้ว +30

      Игорь Шалыгин Никогда нельзя объяснить так, чтобы было понятно для всех. Мне все понятно, я считаю, что он объяснил хорошо, вы не поняли, для вас он объяснил плохо. Всё субъективно.

  • @flysim5838
    @flysim5838 3 ปีที่แล้ว

    В школе не проходили это! Это на спец. предметах я проходил) Интересно в каком классе это все проходили?

  • @user-yx1ir7fg3b
    @user-yx1ir7fg3b 10 ปีที่แล้ว +36

    У тебя ошибка на 20мин там где 4й столбец написана операция логическое "И" а значения указаны как для ИЛИ.

    • @user-vi3ur8bw8k
      @user-vi3ur8bw8k 3 ปีที่แล้ว

      пздц, а я 10 минут думал, в каком месте я тупой

  • @user-mk1he3dh6s
    @user-mk1he3dh6s 2 ปีที่แล้ว +6

    Не ясно для чего в начале высказывание" у меня есть кот " Было определено как ложное! А при наделении формульным выражением оно стало истинным!узнать бы где вот тут логика! ))

    • @DeadInside-oz9vy
      @DeadInside-oz9vy 2 ปีที่แล้ว

      У вас фетиш на восклицательные знаки? Может стоит полечиться?

    • @user-mk1he3dh6s
      @user-mk1he3dh6s 2 ปีที่แล้ว

      @@DeadInside-oz9vyу кого у вас? У вас дорогие россияне? Или у Вас как личности? Может соберётесь и попробуйте ещё раз? Или ,увидев новые мании предложите новое лечение?

    • @alotMizr
      @alotMizr 2 ปีที่แล้ว

      В начале были примеры ложности и истенности

    • @suzerainDB
      @suzerainDB 2 ปีที่แล้ว

      @@user-mk1he3dh6s шиз

  • @doctorzaharov
    @doctorzaharov 9 ปีที่แล้ว +119

    Почему у нас в стране логика не является обязательной дисциплиной. Ни физики , ни математики, точнее студенты, которые приходят ко мне после занятий этими "странными" науками не знают даже того, что такое доказательство. Не понимают, для чего нужны определения, как нужно давать развернутый ответ. Я не говорю о химиках. У них вообще полный ....
    Как дать логически обоснованный развернутый ответ на вопрос:"Почему осколки разбитой вазы не соединяются"

    • @doctorzaharov
      @doctorzaharov 9 ปีที่แล้ว +9

      Ищу физиков, которые знают и применяют логику в физике. Говоря с некоторыми физиками я узнал, что они понятия не имеют о логике и знать ее не хотят. Отсюда дикое непонимание физики у студентов и школьников.

    • @wordpress1961
      @wordpress1961 8 ปีที่แล้ว +4

      +Аркадий Захаров Они же не умеют думать. физики. Копаются и дальше своего носа ничего не видят.

    • @doctorzaharov
      @doctorzaharov 8 ปีที่แล้ว +3

      WordPress Согласен. У них принцип первобытных поэтов:"Что вижу- то пою"

    • @doctorzaharov
      @doctorzaharov 8 ปีที่แล้ว +2

      Тригонометрия, электронный репетитор,Тренажеры Захарова

    • @wordpress1961
      @wordpress1961 8 ปีที่แล้ว +3

      #Запишись_на_тренинг_26_времен_за_26_минут

  • @njs4724
    @njs4724 8 ปีที่แล้ว

    Под конец видео была задача про Атню: у меня возникло сомнение по поводу правильности утверждения, что Тане нравятся небритые или не носящие штаны. Если "или" то тогда получится, что если и то и другое "не", то оно будет истинным. А в первом уравнении, было требование хотя бы одно из них должно быть верным. Значит, во втором уравнении вместо "или" надо поставить "xor" . Поправьте меня, пожалуйста, если я не прав. Благодарю

    • @user-en2qt7jf2o
      @user-en2qt7jf2o 7 ปีที่แล้ว

      полностью с вами согласен, утверждение про Таню является исключающим или, а закон де Моргана здесь не подходит!

  • @user-or5xy4ht2l
    @user-or5xy4ht2l 9 ปีที่แล้ว +11

    бритые в штанах, значит. будем знать

  • @sarabrown5536
    @sarabrown5536 2 ปีที่แล้ว

    19:46 в таблице ошибка. В место b or c написано b and c

  • @user-gv9dg4ni5g
    @user-gv9dg4ni5g 7 หลายเดือนก่อน

    25:55 тогда должно быть исключающее ИЛИ, потому что если мальчик не бритый и не в спортивных штанах, то Тане он нравится ей не должен, иначе будет не 0 или не 0 = 1

  • @RedPie491
    @RedPie491 ปีที่แล้ว +2

    5:36 Ты когда в последний раз был в школе? Там логику хоронят, рождаеться она в высших институтах.

  • @egorshilov8473
    @egorshilov8473 6 ปีที่แล้ว

    Для меня это было введением в тему, о чём вообще логика

  • @user-mr2ge9ki6r
    @user-mr2ge9ki6r 3 ปีที่แล้ว

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

  • @bekzhan356
    @bekzhan356 5 ปีที่แล้ว

    Когда новые видео будут?

  • @alexandroangara5903
    @alexandroangara5903 6 ปีที่แล้ว +3

    На 19 мин. "...Иногда мы имеем дело с бесконечностью. А иногда-ЕЩЕ БОЛЬШЕ..."????!!! / Парадоксы современного логиста)))