Dadas as proposições:
• !$ p !$: “Sexta-feira não é feriado”
• !$ q !$: “Sexta-feira ocorre uma compensação de horas”
Considere a proposição condicional !$ p \rightarrow q !$ , isto é, “Se sexta-feira não é feriado, então na sexta-feira ocorre uma compensação de horas”. Dessa forma, a contrapositiva associada a !$ p \rightarrow q !$ será dada por