Qual é a proposição equivalente a “Se a > 20 então b=45”?