Дизъюнкция логическое
умножение
Обозначение:
Диаграмма ЭйлераВенна
для дизъюнкции:
Определение дизъюнкции может
быть записано в виде таблицы
истинности:
А
В
АВ
ИЛИ
Конъюнкциялогическое умножение
Обозначение:
А
В
А & В
И
Определение конъюнкции может быть записано в виде
таблицы истинности:
Диаграмма ЭйлераВенна для конъюнкции:
Инверсияотрицание
А
Обозначение:
Определение инверсии может быть записано
в виде таблицы истинности:
А
А
НЕ
Диаграмма ЭйлераВенна для
инверсии:
Логика у животных
Крысы мыслят не по
ассоциации, у них
причинно
следственное
мышление.
Звук, который
крысы сами
вызвали с помощью
рычага, не был
«следствием»
света, так что
сиропа не будет.
Определение импликации может
быть записано в виде таблицы
истинности:
Эквиваленция
Обозначение:
Определение эквиваленции может быть записано в
виде таблицы истинности: