A sentença "A indicação de juízes para o STF deve ser consequência de um currículo que demonstre excelência e grande experiência na magistratura" pode ser corretamente representada na forma P->Q,em que P e Q sejam proposições simples convenientemente escolhidas.