Логика

From TORI
Revision as of 04:25, 23 November 2015 by T (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Логика (logic) – это часть математики, имеющая дело с логическими величинами.

Contents

Двузначная и многозначная логика

В простейшей интерпретации, логическая величина может иметь лишь одно из двух значений: истина или ложь.

В более сложных случаях, в область допустимых значений добавляются новые объекты, например, "не известно" и/или "выражение не корректно".

Первое из них может интерпретироваться как некоторая свобода и указывать, что присваивание величине значения "истина" или "ложь" не приведет к противоречиям (хотя непротиворечивость системы аксиом внутри этой системы доказать невозможно).

"Не корректно" указывает, что присваивание логической величине значения "истина" или "ложь" ведет к противоречию. При доказательстве "от противного", получение такого значения хотя бы для одного логического выражения означает, что доказательство закончено.

Объекты многозначной логики могут строиться из объектов двузначной логики примерно так же, как всевозможные числа строятся из натуральных чисел. Поэтому по умолчанию логика обычно считается двузначной.

Аксиомы двузначной логики

В двоичной (классической) логике приняты операции дизъюнкции и конъюнкции, или логического умножение "and" и логического сложения "or", удоветворяющие следующим постулатам:

(under construction)

Женская логика

Распространенным видом логики, с трудом поддающимся математизации, является так называемая женская логика [1].

Примеры.

Позвонил я своей девушке, а она выдала: - Я же сказала, что буду через 5 минут, так что незачем мне названивать каждые полчаса! [2]

Литература

  1. http://mitya.pp.ru/woman.htm Д.В.Беклемишев. Заметки о женской логике
  2. http://www.anekdot.ru/id/572380 Все-таки женщины не отличаются пунктуальностью. (2012)

http://zhurnal.lib.ru/k/kuznecow_d_j/logics.shtml Logics (In English)

http://zhurnal.lib.ru/s/shapiro_m_a/raspidiota.shtml Шапиро Максим. Как распознать идиота во время дискуссии

http://www.hr-portal.ru/pages/hu/logika.php Тест на логическое мышление

http://www.anekdot.ru/id/571940 Законы и логика по-российски:
Отбирать у садика или музея здание в пользу церкви, потому что оно 90+ лет назад принадлежало церкви — можно.
А отобрать у олигарха в пользу страны, перерабатывающий завод, незаконно захваченный 20 лет назад — нельзя.