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

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

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

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

Чем важнее ген, тем реже он мутирует
Изучение большого массива данных по мутагенезу у модельного растения Arabidopsis thaliana показало, что в разных участках генома мутации возникают с разной частотой. В результате получается, что частота возникновения новых мутаций связана обратной зависимостью с функциональной важностью данного участка генома и с силой действующего на него очищающего отбора. Иначе говоря, в наиболее важных участках новые мутации не только активнее вычищаются отбором, но и реже возникают.
 посетителейзаходов
сегодня:00
вчера:00
Всего:825889

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