Нормальные формулы

Из основных равенств следует, что для каждой формулы $\Phi \in F_{AB}$ можно указать равносильные ей формулы специального вида, содержащие только символы логических операций. Определение. Литерой называется пропозициональная переменная $X$ или…

Логическая равносильность формул

Определение. Формулы $\Phi, Psi$ называются логически равносильными (или просто равносильными), если они принимают одинаковые логические значения при любых истинностных значениях их переменных. Это равносильно условию $|=\Phi \Leftrightarrow \Psi$ Для обозначения…

Алгебра выражений

Алгебра выражений задаётся операциями $\lnot$ («не»), $\land$ («и»), $\lor$ («или»), $\Rightarrow$ («следует»), $\Leftrightarrow$ («равносильно»). В программировании также распространены «исключающие и» и «исключающее или», но эти операции не входят в базовый…

Введение в математическую логику

Предмет математической логики Логика — анализ принципов правильных суждений. Формальная логика изучает формы, в которых проявляются законы причинно-следственных связей. Математическая логика занимается обоснаванием правильных способов рассуждений математического аппарата. Этапы развития…