Robson gosta de falar bastante nas reuniões de família. Um dia, em uma festa, afirmou: “Fazer a barba pela manhã é condição suficiente para não alimentar meus pássaros”. Priscila, sua sobrinha, não entendeu e pediu para Robson reformular sua afirmação.

Uma proposição logicamente equivalente à afirmação de Robson, que poderia ser usada, é: