Kategorisk dom, inden for logik udsagn, der hverken er hypotetisk el. disjunktivt; ubetinget udsagn.