flat shuttle
Im struggling to understand how sequent calculus works after studying propositional logic and zeroth order logic
First picture: I attached a picture where it shows semantic values and examples for sequents
Second picture: I attached a picture for deduction rules for sequents
I dont understand any of the pictures cause the symbols are strange and I dont know where are the premises and conclusions Im just mixed up.
I added a pdf which shows example tasks which has marked correct answers , I just dont know how to start to solve them. ( there are rectangles on the left with the choosable options and if it says number 2 then its correct and where it says -1 it means that answer is incorrect)
I tried to start going upwards like we do in sequent calculus but Im just mixed up with the symbols what they mean.
Example , after some things theres a ";" I dont know what that means, and in some cases "\rightarrow" and "," I dont know what they stand for.
I know I need to use the deduction rules in order to come until I find on top an axiome and stop there in general and that will be the answer but I dont know how to apply them
I would really appreciate if somebody could help me move forward on this.
||(Im even ready to pay for someone ,I Just need to understand this in 10 days)||
Thank you and happy new year!
polar merlin