# 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?