1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
|
: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/Математическая_логика][Википедия: Математическая Логика]]
|
