Analise a proposição abaixo: “Se Mateus estudou, então ele foi bem na prova.” O conectivo lógico presente nessa proposição é de: