Um assistente em administração, ao ler o regimento interno sobre a concessão de férias, depara-se com a seguinte norma: "Se o servidor completar 12 meses de exercício, então ele terá direito a 30 dias de férias". Do ponto de vista da lógica proposicional, uma afirmação logicamente equivalente a essa norma é