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

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

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

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-04-19

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



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

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

Ученые создали первый в мире искусственный организм с одной хромосомой
Вооруженные генетическим редактором CRISPR ученые сумели создать вполне жизнеспособный искусственный организм, геном которого состоит всего из одной хромосомы. Тем самым, как сообщает авторитетный журнал Nature, был установлен новый мировой рекорд.
 посетителейзаходов
сегодня:22
вчера:12
Всего:456484

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