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

Вопрос

Даны формулы F₁, F₂, ., F_n и G.
Формула G является логическим следствием формул F₁, F₂, .. , F_n
если:
А) для всех интерпретаций, в которых истинны F₁, F₂, .. , F_n, истинно также G;
Б) формула F₁ & F₂ & ... & F_n -> G общезначима;
В) формула F₁ & F₂ & ... & F_n & -G противоречива.
Какое из определений является правильным?

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

Ответ