我修改了文件文字中的一些詳細信息，現在收到此錯誤。我已經安裝了對應的包，但什麼都沒有...:(
錯誤發生在下面一行：
\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