! 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

관련 정보