Монтаж: CapCut (Pro) Оригинальное видео:
https://www.youtube.com/live/0OzIUGnq... (канал @uebermarginal) 0:00 – Законы и принцип формальной логики 0:54 – Закон тождества A ≡ A 2:55 – Закон непротиворечия ¬(A ∧ ¬A) 3:57 – Закон исключенного третьего A ∨ ¬A 5:13 – Принцип достаточного основания 6:13 – Отрицание ¬A 7:30 – Конъюнкция A ∧ B 9:06 – Дизъюнкция A ∨ B 11:31 – Импликация A → B 16:06 – Эквивалентность A ↔ B 17:42 – Формулы логических операций 20:34 – Квантор всеобщности ∀ 23:40 – Квантор существования ∃ 26:53 – Перевод одного квантора в другой (таймкоды взяты под комментариями у юзера @Леонид-с5з)
