Em lógica proposicional, a afirmação 'Se a prova for difícil, então estudarei bastante' é uma proposição simples, pois não contém conectivos lógicos que a unam a outras proposições.