This is LaTeX code:

[latex]
 
 (\neg P \rightarrow \neg R) \wedge \neg Q \vdash P \lor \neg R
 
[/latex]