.png)
Modifiquei alguns detalhes no texto do arquivo e agora estou recebendo este erro. Já instalei o pacote correspondente e nada... :(
O erro ocorre na linha abaixo:
\item $p \to q \,\vdash\, (p \to q) \, \vee \sim r $
Código completo:
https://drive.google.com/open?id=1z27i6UkOAugZBIUpB465lgM9Hxp4cDe9