TeX source:

P\lor Q,\neg Q\land R,(P\lor Q)\to R\in \Gamma