Ознакомьтесь с Условиями пребывания на сайте Форнит Игнорирование означет безусловное согласие. СОГЛАСЕН
 
 
Если в статье оказались ошибки...
 

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

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

Относится к   «Минимизация усилий»
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


Последнее редактирование: 2022-01-07

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



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

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

Обнаружен организм с крупнейшим геномом
Новокаледонский вид вилочного папоротника Tmesipteris oblanceolata, произрастающий в Новой Каледонии, имеет геном размером 160,45 гигапары, что более чем в 50 раз превышает размер генома человека.
Тематическая статья: Тема осмысления

Рецензия: Рецензия на статью

Топик ТК: Главное преимущество модели Beast
 посетителейзаходов
сегодня:00
вчера:00
Всего:840907
Авторские права сайта Fornit