Обзор глоссария по алфавиту
Специальные |
А |
Б |
В |
Г |
Д |
Е |
Ё |
Ж |
З |
И |
К |
Л |
М |
Н |
ОП |
Р |
С |
Т |
У |
Ф |
Х |
Ц |
Ч |
Ш |
Щ |
Э |
Ю |
ЯВсе
Аксиома: основное положение рассматриваемой теории, принимаемое без доказательства |
|
Булева алгебра: множество со специальным образом определенными на нем операциями сложения, умножения и отрицани |
|
Вывод формулы: образование доказуемой формулы из исходных доказуемых формул путем применения правил вывода |
|
Выполнимая формула: формулу A называют выполнимой, если она принимает значение «истина» хотя бы на одном наборе значений входящих в нее переменных и не является тождественно истинной |
|
Дизъюнктивная нормальная форма (ДНФ): дизъюнктивной нормальной формой формулы A называется равносильная ей формула, представляющая собой дизъюнкцию элементарных конъюнкций |
|
Дизъюнкция: дизъюнкцией двух высказываний x, у называется новое высказывание, которое считается истинным, если хотя бы одно из высказываний х, у истинно, и ложным, если они оба ложны |
|
Импликация: импликацией двух высказываний х, у называется новое высказывание, которое считается ложным, если х истинно, а у – ложно, и истинным во всех остальных случаях |
|
Конъюнкция: конъюнкцией двух высказываний х, у называется новое высказывание, которое считается истинным, если оба высказывания x, у истинны, и ложным, если хотя бы одно из них ложно |
|
Множеством истинности предиката: множество всех элементов х Î М, при которых предикат принимает значение «истина» |
|
Отрицание высказывания: отрицанием высказывания х называется новое высказывание, которое является истинным, если высказывание х ложно, и ложным, если высказывание х истинно |
|
