URGENT These test questions will ask you to give natural deduction proofs using any of the TFL or FOL rules. Remember that to add in a premise, you type it in and add :PR after it. To start a subproof, you indent it using the "Tab" key and add :AS after it. And to close off a subproof so you can start a new one, like in E, you enter -- on its own line, indented one line back. (pls denote each line with 1. 2. etc, thanks) will thumbs up for sure

1.6 2 pts A R(x,y))) Vx(D(x) + 3x(F(x) ^ Vy(D(y) F 3y(F(y) ^ R(y,x))) ) A 1. 1.3 V 3x(D(x) v G(x)), Vx(D(x) + F(x)) + 3x(G(x) F(x)) 1.6 2 pts A R(x,y))) Vx(D(x) + 3x(F(x) ^ Vy(D(y) F 3y(F(y) ^ R(y,x))) ) A 1. 1.3 V 3x(D(x) v G(x)), Vx(D(x) + F(x)) + 3x(G(x) F(x))