Para realizar o conserto de uma placa eletrônica, o técnico precisava apertar quatro parafusos. O manual tinha as seguintes instruções:

• Se não apertar o parafuso Y, não aperte o parafuso Z.

• Se apertar o parafuso Z, não aperte o parafuso W.

• Se apertar o parafuso X, não aperte o parafuso Y.

Seguindo essas instruções, o técnico pode tentar realizar o conserto fazendo: 

As equações que aparecem na cadeia de equivalências lógicas tem conjunto universo nos reais. 

A conclusão aparente é que , o que e absurdo. Em qual etapa específica a equivalência lógica é violada pela primeira vez?