我修改了文件文本中的一些细节，现在出现了这个错误。我已经安装了相应的包，但什么都没有……:(
错误发生在下面这一行：
\item $p \to q \,\vdash\, (p \to q) \, \vee \sim r $
完整代码：
https://drive.google.com/open?id=1z27i6UkOAugZBIUpB465lgM9Hxp4cDe9
! LaTeX 错误：未找到文件‘l3backend-pdfmode.def’（在线）
我修改了文件文本中的一些细节，现在出现了这个错误。我已经安装了相应的包，但什么都没有……:(
错误发生在下面这一行：
\item $p \to q \,\vdash\, (p \to q) \, \vee \sim r $
完整代码：
https://drive.google.com/open?id=1z27i6UkOAugZBIUpB465lgM9Hxp4cDe9