Dadas afirmações, P e Q, definimos a disjunção R pela composição: P ou Q.

Para as afirmações: P = não foi realizado o serviço; Q = foi efetivado o pagamento pelo serviço, considere R = P v Q.

Uma proposição que corresponde à negação da proposição R é: