Логика. 2.2. Запись суждений в виде формулы

preview_player
Показать описание
Тайм-коды и полезные ссылки:
► 0:06 Квантор всеобщности и квантор существования
► 1:36 Пример
► 2:52 Построение отрицаний: замена квантора на противоположный + перенесение отрицания на предикат
► 3:30 Пример

  1. MAG MathAlgGeom
  2. MAG
  3. MathAlgGeom
  4. Дискретная
  5. математика
  6. Логика
Рекомендации по теме
Логика. 2.2. Запись 0:05:27

Логика. 2.2. Запись суждений в виде формулы

Логика. 2.1. Суждение 0:07:12

Логика. 2.1. Суждение

Логика. 2.3. Классификация 0:09:24

Логика. 2.3. Классификация простых суждений

Практическая логика: истинность 0:22:00

Практическая логика: истинность и ложность сложных суждений...

Тема 2. Логика 0:11:42

Тема 2. Логика высказываний. Логические операции И, ИЛИ

Логика 11. Сложные 0:13:23

Логика 11. Сложные суждения

Ширшов А.В. Логика. 0:15:28

Ширшов А.В. Логика. Сложные суждения

УРОК 03. Логика 0:09:34

УРОК 03. Логика высказываний (7 класс)

Занятие №4 Сложные 0:28:24

Занятие №4 Сложные суждения

Логика 08. Общая 0:14:27

Логика 08. Общая характеристика суждения. Часть 1

Логика: Сложные суждения 0:25:36

Логика: Сложные суждения

Логика 09. Общая 0:14:36

Логика 09. Общая характеристика суждения. Часть 2

2. Логика и 0:10:56

2. Логика и язык Логика и мышление

Конъюнкция, дизъюнкция, импликация, 0:06:21

Конъюнкция, дизъюнкция, импликация, эквиваленция, отрицание. На примерах из жизни. Логика....

AIML-2-1-3 Логика высказываний 0:11:16

AIML-2-1-3 Логика высказываний

Логика высказываний. Логические 0:09:59

Логика высказываний. Логические операции НЕ, ИЛИ, И | А я объясняю это так 2018...

Основы логики. Суждение 0:49:10

Основы логики. Суждение | Сергей Головин

Логика. 3.2. Формализация 0:11:28

Логика. 3.2. Формализация суждений и построение таблиц истинности...

Логика — Принципы 0:20:34

Логика — Принципы математического мышления — уровень 2 из 5...

Логика и множества. 0:09:39

Логика и множества. Утверждения и отрицания

Логика. Часть 2. 1:04:40

Логика. Часть 2. Суждение. Умозаключение. Решение задач

Формальная логика и 0:05:27

Формальная логика и проблема простоты-сложности суждений...

Логика 10. Виды 0:10:39

Логика 10. Виды суждений.

Логика Лекция 3 0:22:51

Логика Лекция 3 Суждение

Комментарии
Автор

Спасибо ютубу за то, что образовательный контент он не будет грузить, но зато как насрать в тарелку 20кг говна он будет грузить за секунду в HD

segaboss
Автор

ВОПРОС 2: Насколько я понимаю, квантор – это количественные характеристики множеств, которая легко поддаётся представлению в виде диаграмм Эйлера-Венна.
ВОПРОС: Уважаемый MAG, а Вы бы могли показать различие между кванторами Всеобщности и Существования на примере диаграмм Эйлера-Венна? А то я не встречал, чтобы кто-то из современных лекторов их показывал... Или, может, Вы подскажите, где такие диаграммы приведены?

Syllogist
Автор

ВОПРОС 1: А разве так может быть, что отрицанием «Все книги сданы в библиотек», является «Некоторые книги не сданы в библиотеку»? Ведь в исходном суждении говориться о «ВСЕХ» книгах! При чём тут «НЕКОТОРЫЕ»? А чем хуже отрицание что «НИ ОДНА КНИГА не сдана в библиотеку»?

Syllogist
Автор

Как, интересно, с помощью такого метода записать суждение: " некоторые студенты сдают экзамены не досрочно" ?
Кто-то, возможно, подумает, что это тоже самое что и "некоторые студенты не сдают экзамены досрочно", но это принципиально не так, т.к. в первом случае речь идет о тех кто сдает экзамены вовремя или с опозданием, но все-таки сдает, а во втором, в том числе и о тех кто вообще не сдает экзамены.
Т.е. такая форма записи оставляет место для софистики.
Еще один пример более наглядный:
" ребенок бежит в школу"
" ребенок не бежит в школу"
" ребенок бежит не в школу"
" ребенок не бежит не в школу"
Разъяснять не буду кто разбирается, тот поймет.

adventura
Автор

"Каждый студент сдаёт экзамены" Так построить отрицание к первому суждению?

laboratoriaRos
Автор

Интересно, а "отрицание" и "отрицалово", это одно и тоже или нет?

VasiliNikolajev