5. Какая из формул будет тождественно истинной, если известно, что формула. F_{1} является логическим следствием F_{2} 1) F_{1} leftrightarrow F 2 2) F_{2} iff F 1 4) F_{1} ^ F 2 5) F_{2} -> F_{1} 3) F_{1} -> F_{2}

Логическое следствие означает, что если формула \(F_2\) истинна, то формула \(F_1\) также будет истинна. Из этого следует, что верно следующее: - Формула \(F_2 \rightarrow F_1\) (или \(F_2\) имплицирует \(F_1\)) будет истинной, поскольку истинность \(F_2\) гарантирует истинность \(F_1\). Таким образом, правильный ответ: **5) \(F_2 \rightarrow F_1\)**