![! LaTeX 错误:未找到文件‘l3backend-pdfmode.def’(在线)](https://linux22.com/image/399682/!%20LaTeX%20%E9%94%99%E8%AF%AF%EF%BC%9A%E6%9C%AA%E6%89%BE%E5%88%B0%E6%96%87%E4%BB%B6%E2%80%98l3backend-pdfmode.def%E2%80%99%EF%BC%88%E5%9C%A8%E7%BA%BF%EF%BC%89.png)
我修改了文件文本中的一些细节,现在出现了这个错误。我已经安装了相应的包,但什么都没有……:(
错误发生在下面这一行:
\item $p \to q \,\vdash\, (p \to q) \, \vee \sim r $
完整代码:
https://drive.google.com/open?id=1z27i6UkOAugZBIUpB465lgM9Hxp4cDe9
我修改了文件文本中的一些细节,现在出现了这个错误。我已经安装了相应的包,但什么都没有……:(
错误发生在下面这一行:
\item $p \to q \,\vdash\, (p \to q) \, \vee \sim r $
完整代码:
https://drive.google.com/open?id=1z27i6UkOAugZBIUpB465lgM9Hxp4cDe9