Question: 4 if you were asked to provide a proof for...
Question details
4. if you were asked to provide a proof for the following sequence { ~P&~Q├ ~(PvQ) }, what working assumption would you make?
5. What rule would you use to discharge the assumption that you would use in #4?
Solution by an expert tutor
