Los predicados de los enunciados deónticos. Se caracterizan por la presencia de operadores deónticos, esto es, expresiones como «es obligado» o «está permitido», antepuestas al predicado correspondiente. En el simbolismo usual de la lógica deóntica, es obligado P: Op ; está permitido P: Pp.