Predicat deòntic

Els predicats dels enunciats deòntics. Es caracteritzen per la presència d'operadors deòntics, això és, expressions com «és obligat» o «està permès», anteposades al predicat corresponent. En el simbolisme usual de la lògica deòntica, és obligat P: Op ; està permès P: Pp.