1 files changed, 71 insertions, 0 deletions
diff --git a/content/digarden/pages/20210428005214-логика.org b/content/digarden/pages/20210428005214-логика.org
new file mode 100644
index 0000000..d467d81
--- /dev/null
+++ b/content/digarden/pages/20210428005214-логика.org
@@ -0,0 +1,71 @@
+: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