Please go in-depth when explaining why you are chosing each rule. My professor is bad and i dont understand anything.

2. Consider the following: There is someone in this class who has been to France. Everyone who goes to France visits the Louvre. Therefore, someone in this class has visited the Louvre. Propositional Functions: C(x): "x is in this class" F(x): "x has been to France" L(x): x has visited the Louvre Premises: 3x (Clx) A Flx)) Vx (F(x) - L(x)) Conclusion: 3x (C(x) ^ L(x) The following steps can be used to establish the conclusion from the premises. For each step, give the reason that the step is valid. 1) 3x (Clx) Flx)) 2) Cla) A Fla) 3) Fla) 4) Cla) 5) Vx (F(x) +L(x)) 6) Fla) L(a) 7) Lla) 8) Cla) A L(a) 9) 3x(C(x) AL(x))