Thursday 4pm tutorial

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.

Thursday 4pm tutorial
Today in the tutorial we proved a formula using natural deduction. Unfortunately, I made an error in the proof and actually proved a different formula than I said I would. The formula in the attachment is the one we proved; the one I set out to prove is the same, but without the thick greenish brackets.

It turns out that I mixed up notations in the tutorial. With the dot notation, the quantifiers bind weakly - the dot behaves as an open bracket that closes as late as possible.

And to repeat, next week I will not be here, so please attend one of the other tutorials (Alpcan Dalga’s, Leon Schmidtchen’s or Frederick Schaefer’s).