1 files changed, 0 insertions, 71 deletions
diff --git a/content/digarden/pages/20210428005214-логика.org b/content/digarden/pages/20210428005214-логика.org
deleted file mode 100644
index d467d81..0000000
--- a/content/digarden/pages/20210428005214-логика.org
+++ /dev/null
@@ -1,71 +0,0 @@
-:PROPERTIES:
-:ID:       2b0bd9ed-a344-4f00-8233-6a1833a2902a
-:END:
-#+title: Логика
-
-* Виды логик
-- [[id:42eaf23a-e722-4628-b93c-fe21909be18b][Формальная логика]]
-- [[id:b97a9c9f-adb1-4270-87fa-79b0d59c53df][Диалектика]]
-- Модальная логика
-* Таблицы истинности формальной логики
-  A и B входы, Q -- результат
-** OR (ИЛИ)
-   | A | В | Q |
-   |---+---+---|
-   | 0 | 0 | 0 |
-   | 0 | 1 | 1 |
-   | 1 | 0 | 1 |
-   | 1 | 1 | 1 |
-** AND (И)
-   | A | B | Q |
-   |---+---+---|
-   | 0 | 0 | 0 |
-   | 0 | 1 | 0 |
-   | 1 | 0 | 0 |
-   | 1 | 1 | 1 |
-** XOR (ИЛИ-НЕ)
-   | A | B | Q |
-   |---+---+---|
-   | 0 | 0 | 1 |
-   | 1 | 0 | 0 |
-   | 0 | 1 | 0 |
-   | 1 | 1 | 0 |
-** XAND (И-НЕ)
-   | A | B | Q |
-   |---+---+---|
-   | 0 | 0 | 1 |
-   | 0 | 1 | 1 |
-   | 1 | 0 | 1 |
-   | 1 | 1 | 0 |
-* Видео
-- [[https://www.youtube.com/watch?v=fAp43BuPVxk][Есть ли логика в логике]]
-* Люди
-- [[https://ru.wikipedia.org/wiki/%D0%98%D0%B2%D0%B8%D0%BD%2C_%D0%90%D0%BB%D0%B5%D0%BA%D1%81%D0%B0%D0%BD%D0%B4%D1%80_%D0%90%D1%80%D1%85%D0%B8%D0%BF%D0%BE%D0%B2%D0%B8%D1%87][Ивин, Александр Архипович]]
-** Законы логики
-1. Закон тождества:
-- Любая мысль должна быть тождественной (равной самой себе);
-2. Закон противоречия:
--  мысль не должна противоречить самой себе;
-3. Закон исключенного третьего:
-- суждения могут быть противоположными или противоречащими, и важно не
-  путать эти два понятия + необходимо, чтобы находился третий вариант,
-  который конкретно отражает, реальную суть происходящего/точки зрения;
-4. Закон достаточного основания
-- Любая мысль должна быть обоснованной и ваша мысль должна быть
-  последовательно реальной и проверяемой на все 3 предыдущих пункта на
-  все 100%.
-
-Разделы математической логики:
-- общая логика (англ. general logic), включает классическую логику
-  первого порядка, логики высших порядков (логику второго порядка),
-  комбинаторную логику, λ-исчисление, временную логику, модальную
-  логику, многозначные логики, нечёткую логику, логику в информатике;
-- теория моделей;
-- теория вычислимости и теория рекурсии;
-- теория множеств;
-- теория доказательств и конструктивная математика;
-- алгебраическая логика (включает вопросы изучения булевых алгебр,
-  алгебр Гейтинга, квантовых логик, цилиндрических и полиадических
-  алгебр, алгебр Поста); нестандартные модели.
-
-[[https://ru.wikipedia.org/wiki/Математическая_логика][Википедия: Математическая Логика]]
-\ No newline at end of file