De acordo com o raciocínio lógico proposicional a proposição composta [p v (~q ↔ r)] → ~p é uma: