I was hoping someone could please help me on the following proofs - I have an exam on Wednesday and can't get to see my tutor before then!
I'm stuck on the following, they're from the Tomassi Logic book:
¬(PvQ) : ¬P & ¬Q (10 lines, I'm having trouble with formulas that are themselves negated)
and
: P ? ¬P (the law of excluded middle, 9 lines, I've been having trouble with proofs that have no premises)
I haven't got any work towards either of them - well I have, but it was all very obviously erroneous so I haven't included it here. Any help would be greatly appreciated.
I'm stuck on the following, they're from the Tomassi Logic book:
¬(PvQ) : ¬P & ¬Q (10 lines, I'm having trouble with formulas that are themselves negated)
and
: P ? ¬P (the law of excluded middle, 9 lines, I've been having trouble with proofs that have no premises)
I haven't got any work towards either of them - well I have, but it was all very obviously erroneous so I haven't included it here. Any help would be greatly appreciated.