Answer to Question #25361 in Other Math for Amanda
Give a proof for the sequent using only primitive proof rules.
PvQ l- ~(~P&~Q)
Unfortunately, the statement of your question is a bit confusing.
What do you need to be done? Please, give us the details so we could help you