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