Um analista do TCU, ao modelar em lógica de primeira ordem o enunciado normativo "Todo servidor que acumula cargos indevidamente deve ser notificado, e existe servidor que acumula cargos indevidamente", utilizou o seguinte conjunto de fórmulas:

• F1: ∀x (S(x) ∧ A(x) → N(x))
• F2: ∃x (S(x) ∧ A(x))

em que S(x) significa "x é servidor", A(x) significa "x acumula cargos indevidamente" e N(x) significa "x deve ser notificado". Com base nessa modelagem, julgue o item: a fórmula F2, isoladamente, garante a existência de pelo menos um indivíduo que satisfaz simultaneamente S e A, mas não assegura que esse indivíduo satisfaça N; contudo, a conjunção F1 ∧ F2 implica logicamente ∃x N(x).