Table of Contents

Виды логик

Таблицы истинности формальной логики

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

Видео

Люди

Законы логики

  1. Закон тождества:
  2. Любая мысль должна быть тождественной (равной самой себе);
  3. Закон противоречия:
  4. мысль не должна противоречить самой себе;
  5. Закон исключенного третьего:
  6. суждения могут быть противоположными или противоречащими, и важно не путать эти два понятия + необходимо, чтобы находился третий вариант, который конкретно отражает, реальную суть происходящего/точки зрения;
  7. Закон достаточного основания
  8. Любая мысль должна быть обоснованной и ваша мысль должна быть последовательно реальной и проверяемой на все 3 предыдущих пункта на все 100%.

Разделы математической логики:

  • общая логика (англ. general logic), включает классическую логику первого порядка, логики высших порядков (логику второго порядка), комбинаторную логику, λ-исчисление, временную логику, модальную логику, многозначные логики, нечёткую логику, логику в информатике;
  • теория моделей;
  • теория вычислимости и теория рекурсии;
  • теория множеств;
  • теория доказательств и конструктивная математика;
  • алгебраическая логика (включает вопросы изучения булевых алгебр, алгебр Гейтинга, квантовых логик, цилиндрических и полиадических алгебр, алгебр Поста); нестандартные модели.

Википедия: Математическая Логика

w96k Ⓐ 2019-2022

2023-04-02 Sun 21:59