Give a proof for the sequent using only primitive proof rules.
PvQ l- ~(~P&~Q)
1
Expert's answer
2013-02-28T07:37:46-0500
Dear visitor 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
Comments
Leave a comment