Задача Задача №2674780
А
А
5. Какая из формул будет тождественно истинной, если известно, что формула. F_{1} является логическим следствием F_{2} 1) F_{1} leftrightarrow F 2 2) F_{2} iff F 1 4) F_{1} ^ F 2…
Запрос пользователя
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\)
