Логика высказываний | Исчисление высказываний | Математическая логика | Математика для CS | CS Co...

В этом видео подробно рассматриваются все понятия пропозициональной логики. В нём объясняются таблицы истинности и различные логические операции, такие как отрицание, конъюнкция, дизъюнкция, исключающее ИЛИ, а также условные и бикондициональные утверждения. Решены разнообразные практические задачи по обсуждаемым темам. 00:00:00 Введение 00:00:18 Утверждения 00:03:36 Пропозициональная логика 00:06:28 Таблица истинности 00:08:44 Отрицание 00:12:31 Конъюнкция 00:15:15 Дизъюнкция (включающее ИЛИ) 00:17:58 Исключающее ИЛИ 00:20:36 Условные утверждения 00:27:49 Обратное, контрапозитивное и инверсное утверждения 00:32:49 Биконъюнктивные утверждения 00:37:26 Приоритет логических операторов 00:38:05 Практические задачи 00:38:09 1. Какие из этих утверждений являются утверждениями? 1. Каковы истинностные значения тех утверждений, которые являются пропозициями? 00:39:55 2. Запишите пропозиции, используя логические связки. 00:44:06 3. Определите, является ли каждое из этих условных утверждений истинным или ложным. 00:46:58 4. Дано условное утверждение. Найдите обратное к его инверсии, обратное к его инверсии и обратное к его контрапозиции. 00:49:26 5. Сформулируйте обратное, контрапозицию и инверсию условных утверждений. 00:56:07 6. Составьте таблицу истинности для составных утверждений: (i) (p xor q) подразумевает (p xor not q) (ii) (p bi подразумевает q) xor (not p bi подразумевает not r) 01:01:12 7. Составьте таблицу истинности для (p bi подразумевает q) bi подразумевает (r bi подразумевает s) Математическая логика Плейлист: https://www.youtube.com/playlist?list=PLQqPPVnzZIy530Gv2T_2gZjgW68JjTjkh Плейлист «Математика для информатики»: https://www.youtube.com/playlist?list=PLQqPPVnzZIy6qB_345OS7qzKyoJjj1urI Плейлист CS Connect: https://www.youtube.com/playlist?list=PLQqPPVnzZIy5BmFckmCIEAysYf0zDwQiB CS Connect Файл: https://docs.google.com/presentation/d/e/2PACX-1vToDoGrjlp8KcxOtP1HT5wJ0ciZrIakYbfSL_jqzRN5-3DaRtDA6LsRYxz_a9Hct7CzgnHcE3CIalt2/pub