plz answer all just need final ans I will thumb you up

Time left 4:31:26 Question 30 Not yet answered Marked out of 1.00 Consider the following proof using sequent (Gentzen) calculus: 1: 0 Vray (r(x, y) Vr(y, )) 2: 0= VzJyvz(r(x,y)), VxJyvz(r(y, z)) 3: 0 = Wydz(rla, 2)), Vrayvz(r(y, z)) 0 Jytz(ra, =)), vady(rly, a)) P Flag question Select one or more: Line 4 is a result of a correct application of a sequent (Gentzen) rule to Line 3 The whole proof is correct Line 2 is a result of a correct application of a sequent (Gentzen) rule to Line 1 Line 3 is a result of a correct application of a sequent (Gentzen) rule to Line 2 Time left 4:31:35 Question 29 Not yet answered Marked out of Consider the following proof using natural deduction (Gentzen system): 1: 0= (p (PA) 2 : p=p19 3: p >P,9 p> 1.00 P Flag question Select one or more: The second sequent in Line 3 is not a result of a correct application of a sequent calculus rule to Line 2 The whole proof is correct The first sequent in Line 3 is not a result of a correct application of a sequent calculus rule to Line 2 The sequent in Line 2 is a result of a correct application of a sequent calculus rule to Line 1 Question 28 Assuming that a formula A is given, mark true statements about A. Not yet answered Marked out of 1.00 P Flag question Select one or more: A is unsatisfiable if there is a Gentzen proof for A with all leaves containing axioms -A is a tautology if there is a Gentzen proof for A with no leaf containing an axiom A is a tautology if there is a Gentzen proof for-A with all leaves containing axioms 0 V eg AV is a tautology if there is a Gentzen proof for \ eg AV with all leaves containing axioms