Поиск по сайту
Проект публикации книги «Познай самого себя»
Узнать, насколько это интересно. Принять участие.

Короткий адрес страницы: 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



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

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

Нейроны и вера: как работает мозг во время молитвы
19 убежденных мормонов ложились в сканер для функциональной МРТ и начинали молиться или читать священные тексты. В это время ученые наблюдали за активностью их мозга в попытке понять, на что похожи религиозные переживания с точки зрения нейрологии. Оказалось, они похожи на чувство, которое испытывает человек, которого похвалили.
Все статьи журнала
 посетителейзаходов
сегодня:44
вчера:11
Всего:148169

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