! 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

関連情報