~∃x (Fx →Fa)

2. ∀x ~ (Fx →Fa)              (1)

3. ~ (Fx →Fa)                    (2)

4. Fa                                   (3)

5.?                                      (3)

∃x (Fx →FA) önermesinin niceleme mantığında geçerli bir önerme oluşturması için soru işaretli noktaya aşağıdaki formüllerden hangisi gelmelidir?