Em silogismos condicionais, o modo de se provar pela afirmação é chamado