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.
Mock exam
Hi 
could you please look over the solution for 4.2 again? You wrote [[A]]’ = F, [[C]]’ = F, and [[C]]’ = F.
And maybe this can be explained in the lecture? As I don’t get it Thank you!
Oh and 4.3: The solution looks like analytical tableau, but shouldn’t we use Resolution?
…I haven’t published a solution yet…? I’m confused?
The mock exam from last year looks quite similar. Probably a mix-up with the solution from that one
Oh yeah 
I must have mixed those up
Will the solutions for this year’s mock exam be uploaded before the actual exam?
Ha, right! Sorry, I simply forgot! On it 
Thanks!