João e Maria, conversando sobre a possibilidade de adquirir um automóvel financiado, chegaram à seguinte decisão: “se a taxa de juros baixar, então compramos o nosso carro”.
Uma proposição logicamente equivalente à decisão que eles tomaram é a seguinte: