![](https://www.pdfsearch.io/img/ae96c6335f12438aa8ffb96fa7218e56.jpg) Date: 2015-09-03 07:54:04
| | P ∨ ¬Q , R → ¬P ⊢ Q → ¬R We want to show that P ∨ ¬Q, R → ¬P ⊢ Q → ¬R. At first I explain how to find the proof. P ∨ ¬Q , R → ¬P ⊢ Q → ¬RAdd to Reading ListSource URL: logicmanual.philosophy.ox.ac.ukDownload Document from Source Website File Size: 189,17 KBShare Document on Facebook
|