.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