Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Fitch style natural deduction
Are we allowed to use fitch style proofs for our homework assignments, or does it have to be tree proofs?
It has to be a sequence of natural deduction rules, applied in the correct order to the correct formulas with clear demarcation which formulas are assumptions and where they are discarded 
That’s literally it. I always was confused with fitch style, because it was not clear to me what happened there. I assume a couple of annotations would be sufficient, but if someone has to know fitch-style nontation in order to read them, then they’re not the way to go.