Даны формулы F<sub>1</sub>, F<sub>2</sub>, …, F<sub>n</sub> и G.<br />Формула G является<br />логическим следствием формул F<sub>1</sub>, F<sub>2</sub>, …, F<sub>n</sub><br />если:<br />А) для всех интерпретаций, в которых истинны F<sub>1</sub>, F<sub>2</sub>, …, F<sub>n</sub>, истинно также G;<br />Б) формула F<sub>1</sub> & F<sub>2</sub> & … & F<sub>n</sub> ⟶ G общезначима;<br />В) формула<br />F<sub>1</sub> & F<sub>2</sub> & … & F<sub>n</sub> & ¬G противоречива.<br />Какое из<br />определений является правильным? <i>Правильным </i>является определение В), <i>Правильным </i>является<br />определение А), <i>Правильным </i>является<br />определение Б)