! LaTeX 错误:未找到文件‘l3backend-pdfmode.def’(在线)

! LaTeX 错误:未找到文件‘l3backend-pdfmode.def’(在线)

我修改了文件文本中的一些细节,现在出现了这个错误。我已经安装了相应的包,但什么都没有……:(

错误发生在下面这一行:

\item $p \to q \,\vdash\, (p \to q) \, \vee \sim r $

完整代码:

https://drive.google.com/open?id=1z27i6UkOAugZBIUpB465lgM9Hxp4cDe9

相关内容