Bevise gyldighed af sequent (propositional logic)

Hej,

Jeg er pt. i gang med at læse om propositional logic.

Nærmere bestemt benytter jeg bogen "Logic in Computer Science" 2nd edition, hvor jeg pt. læser om emnet.

I den forbindelse er jeg kommet ud for en opgave der lyder på følgende:

http://i.stack.imgur.com/d9lw9.png

Så vidt jeg har forstået, bl.a. ud fra de eksempler jeg kan se i bogen, så skal der mht. opgaven fremstilles en form for tabel, hvor man gennem en række trin opstiller nogle "premises" og "assumptions".

Derudover er jeg dog temmelig "lost" når det kommer til opgaven. Der er flere af begreberne, som benyttes i forbindelse med bogens eksempler, som jeg ikke synes, jeg kan finde de korrekte definitioner på.

Hvis der er nogle, som har forstand på dette emne og denne slags opgave, så ville jeg være yderst taknemmelig, hvis vedkommende ville kunne forklare mig / guide mig på en letforståelig måde, hvordan jeg løser opgaven korrekt.

Tak på forhånd.