Currently sorted По дате последнего обновления (возрастание) Хронологическая сортировка:
По дате последнего обновления 
|
По дате создания
Булева алгебра: множество со специальным образом определенными на нем операциями сложения, умножения и отрицани |
|
Вывод формулы: образование доказуемой формулы из исходных доказуемых формул путем применения правил вывода |
|
Выполнимая формула: формулу A называют выполнимой, если она принимает значение «истина» хотя бы на одном наборе значений входящих в нее переменных и не является тождественно истинной |
|
Дизъюнктивная нормальная форма (ДНФ): дизъюнктивной нормальной формой формулы A называется равносильная ей формула, представляющая собой дизъюнкцию элементарных конъюнкций |
|
Дизъюнкция: дизъюнкцией двух высказываний x, у называется новое высказывание, которое считается истинным, если хотя бы одно из высказываний х, у истинно, и ложным, если они оба ложны |
|
Импликация: импликацией двух высказываний х, у называется новое высказывание, которое считается ложным, если х истинно, а у – ложно, и истинным во всех остальных случаях |
|
Аксиома: основное положение рассматриваемой теории, принимаемое без доказательства |
|
Конъюнкция: конъюнкцией двух высказываний х, у называется новое высказывание, которое считается истинным, если оба высказывания x, у истинны, и ложным, если хотя бы одно из них ложно |
|
Множеством истинности предиката: множество всех элементов х Î М, при которых предикат принимает значение «истина» |
|
Отрицание высказывания: отрицанием высказывания х называется новое высказывание, которое является истинным, если высказывание х ложно, и ложным, если высказывание х истинно |
|
