Даны формулы F1, F2, …, Fn и G. Формула G является логическим - Ответ на вопрос по ИИС №172508

Вопрос

Даны формулы F1, F2, …, Fn и G.
Формула G является логическим следствием формул F1, F2, …, Fn
если:
А) для всех интерпретаций, в которых истинны F1, F2, …, Fn, истинно также G;
Б) формула F1 & F2 & … & Fn ⟶ G общезначима;
В) формула F1 & F2 & … & Fn & ¬G противоречива.
Какое из определений является правильным?

• Правильным является определение В)
• Правильным является определение А)
• Правильным является определение Б)
• Все определения верны.
• Правильными являются определения Б) и В)

Ответ