Пусть задана система H-формул F={ (X∧ Y∧ Z) → U, (V∧ Z)→X, (V∧ Z)→Y, (U∧ W)→ V, (U∧X)→ W }.Какие из следующих H-формул являются следствиями системы F?A) (V∧ Z)→ W B) (X∧ Y∧ Z) → V C) (X∧ Y∧ Z) → W
(Отметьте один правильный вариант ответа.)
Варианты ответа
все
только B
A и C(Верный ответ)
только C
A и B
только A