0

I have modified some details in the text of the file and now I am getting this error. I already installed the corresponding package and nothing ... :(

The error occurs on the line below:

\item $p \to q \,\vdash\, (p \to q) \, \vee \sim r $

Full Code:

https://drive.google.com/open?id=1z27i6UkOAugZBIUpB465lgM9Hxp4cDe9

2
  • 1
    Welcome to TeX.SX! Did you see tex.stackexchange.com/q/499082/134574? Commented Aug 2, 2019 at 19:40
  • It should be enough to install the l3backend package through your TeX distribution's package manager (TeX Live's tlmgr or MikTeX Console, make sure to update all installed packages as well, if you are using a mutli-user MikTeX installation update in both Admin and User mode). For future questions please don't link to external download sites for the full code example, instead provide a small example document directly in the question (tex.meta.stackexchange.com/q/228/35864).
    – moewe
    Commented Aug 3, 2019 at 4:44

0

You must log in to answer this question.

Browse other questions tagged .