Версия для печати

Глоссарий по теме "Элементы математической логики"



Обзор глоссария по алфавиту

Специальные | А | Б | В | Г | Д | Е | Ё | Ж | З | И | К | Л | М | Н | О
П | Р | С | Т | У | Ф | Х | Ц | Ч | Ш | Щ | Э | Ю | Я
Все

Д

:
дизъюнктивной нормальной формой формулы A называется равносильная ей формула, представляющая собой дизъюнкцию элементарных конъюнкций
:
дизъюнкцией двух высказываний x, у называется новое высказывание, которое считается истинным, если хотя бы одно из высказываний х, у истинно, и ложным, если они оба ложны