Этот материал взят из источника в свободном доступе интернета. Вся грамматика источника сохранена.

Законы логики высказываний

Относится к   «Минимизация усилий»

1. ??А <=> A закон двойного отрицания
2.(A & B) <=> (B & A) коммутативность конъюнкции (переместительный)
3.(A V B) <=> (B V A) коммутативность дизъюнкции (переместительный)
4.(A & (B & C)) <=> ((A & B) & C) ассоциативность конъюнкции (сочетательный)
5.(A V (B V C)) <=> ((A V B) V C) ассоциативность дизъюнкции (сочетательный)
6.(A & (B V C)) <=> ((A & B) V (A & C)) дистрибутивность конъюнкции относительно дизъюнкции (распределительный)
7.(A V (B & C)) <=> ((A V B) & (A V C)) дистрибутивность дизъюнкции относительно конъюнкции (распределительный)
8.(A & A) <=> A законы идемпотенции
9.(A V A) <=> A
10.(A V ?A) <=> И закон исключенного третьего
11.(A & ?A) <=> Л закон непротиворечия
12.(A & И) <=> A операции с константами
13.(A V И) <=> И
14.(A & Л) <=> Л
15.(A V Л) <=> A
16. ?(A & B) <=> (?A V ?B) законы де Моргана
17. ?(A V B) <=> (?A & ?B)
18.(A => B) <=> (?A V B) замена импликации
19. A & (А V В) <=> A законы поглощения
20.(A V А & В) <=> A


Последнее редактирование: 2018-11-14

Оценить статью можно после того, как в обсуждении будет хотя бы одно сообщение.
Об авторе:
Этот материал взят из источника в свободном доступе интернета. Вся грамматика источника сохранена.



Тест: А не зомбируют ли меня?     Тест: Определение веса ненаучности

В предметном указателе: Выступление Святейшего Патриарха Кирилла на круглом столе «Духовность. Нравственность. Закон» | Закон | Закон о противодействии оскорблению религиозных убеждений и чувств граждан | Законопроект о неподсудности священных писаний четырех основных религий — христианства, ислама, иудаизма и буддизма | Законы судьбы | Законы Эдварда Ли Торндайка | Открытие квантовых закономерностей | Правило Парето: что это такое и как применять этот закон на практике | Реформирование российской науки: результаты и перспективы бюрократических игр » Нет реформе образования! Мы против Закона 83-ФЗ | Квантовая логика физического вакуума | Что такое логики и какие логики бывают? | Логика мышления Алексея Редозубова | Ученые полагают, что у новокаледонских ворон логика развита лучше, чем у обезьян | Вороны используют набор инструментов и логику | Обсуждение статьи Логика мышления Алексея Редозубова | Высказывания митрополита Сурожскиго
Последняя из новостей: Асинхронная онлайн-школа: занятия.

Политическим спорщикам нет дела до чужого мнения
На политические темы в соцетях общаются те, кто не боится расстроить собеседника.
 посетителейзаходов
сегодня:11
вчера:33
Всего:529564

Авторские права сайта Fornit
Яндекс.Метрика