Что такое правильно сформулированная формула (WFF)? | Основы символической логики скачать в хорошем качестве

Что такое правильно сформулированная формула (WFF)? | Основы символической логики

В этом видео представлены основы истинностно-функциональной логики, показано, как константы, операторы и индикаторы группировки объединяются для формирования правильно сформированных формул (ВФФ). Логика не может существовать на расплывчатом, обыденном языке. Чтобы добиться ясности, необходимой философам и логикам, мы обращаемся к формальному языку — точной символической системе с собственной простой грамматикой. Всё это объясняется здесь. Вы узнаете: ● Зачем мы используем формальный язык в логике ● Три элемента символической логики: константы, операторы, индикаторы группировки ● Пять основных операторов истинностно-функциональной функции (¬, ∧, ∨, →, ↔) ● Что делает предложение правильно построенной формулой (ВФФ) ● Три простых грамматических правила построения ВФФ ● Распространённые ошибки при построении формул Главы 0:00 Естественный и формальный язык 0:52 Константы предложений 1:29 Отрицание (¬) 2:07 Конъюнкция (∧) 2:34 Дизъюнкция (∨) 2:46 Условное предложение (→) 3:12 Двуусловное предложение (↔) 3:29 Группировка символов 3:44 Что такое ВФФ? Примеры 5:22 Обзор 5:32 Практика: Wff или не Wff? Смотрите ещё: Логика: Переводы    • Symbolic Logic Translation: How to Build a...   Логика: Функции истинности и таблицы истинности    • Truth Tables Made Simple: Truth-Functions ...   Логика: Доказательства методом естественного вывода    • Logic Proofs Made Simple: Natural Deductio...   Основы логики:    • Logic Basics Made Simple: Validity, Soundn...   Источники и рекомендуемая литература — Пол Херрик, «Введение в логику», глава 12 «Истинно-функциональная логика версии 2.0: Изобретение формальных языков в XIX веке» (Издательство Оксфордского университета) Давайте разберёмся в логике / Логика и философия / Ясно. Просто.