Рубрика
Математика
Основы алгебры логики
Логические следствия
Логическое следствие возникает, когда истинность одних высказываний гарантирует истинность других. Правила вывода позволяют строить цепочки рассуждений,…
04.09.2016 Читать →
Основы алгебры логики
Равносильные формулы алгебры высказываний
Равносильные формулы позволяют заменять одни логические выражения другими без изменения их истинностного значения. Это используется для упрощения сложных…
04.09.2016 Читать →
Основы алгебры логики
Логические операции над высказываниями
Логические операции позволяют строить сложные высказывания из простых, формализуя логику рассуждений. Конъюнкция соответствует логическому «И», дизъюнкция —…
04.09.2016 Читать →