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: