Поиск по сайту
Изданы две книги сайта Форнит
Научно-популярная: «Познай себя» и специализированная: «Основы адаптологии» - обе доступны.

Короткий адрес страницы: fornit.ru/6964

Этот материал взят из источника: http://iiikt.narod.ru/elect/lognew/227.htm
Список основных тематических статей >>
Этот документ использован в разделе: "Минимизация усилий"Распечатать
Добавить в личную закладку.

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

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


Последнее редактирование: 2016-02-10

Оценить статью можно после того, как в обсуждении будет хотя бы одно сообщение.
Об авторе:
Этот материал взят из источника: http://iiikt.narod.ru/elect/lognew/227.htm



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

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

Можно ли стопроцентно доверять математике?
Математика — это язык науки, язык, лишенный эмоционального окраса, по большей части лишенный двусмысленностей, и настолько последовательный, насколько вообще может быть последовательна логическая цепочка, созданная человеком. Но можем ли мы стопроцентно доверять математике?
Все статьи журнала
 посетителейзаходов
сегодня:45
вчера:22
Всего:229252

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