Даны формулы 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 /><i>Правильным </i>является определение А), Б), В)