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