“Se Lula é o cara, então Obama é o craque”. A proposição equivalente a esta é: