Даны две логические формулы: -(A &B->А) и A - AVB Эти формулы первая общезначима, вторая противоречива;первая формула противоречива, вторая является произвольной;обе противоречивы;первая противоречива, вторая общезначима;правильного ответа не... Другие предметы Колледж Логические формулы и их свойства Новый

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

Даны две логические формулы: ¬ (А &В⟶А) и A ⟶ A∨B Эти формулы первая формула является произвольной, вторая общезначима; обе общезначимы; первая общезначима, вторая противоречива; первая противоречива, вторая общезначима; обе противоречивы; перва... Другие предметы Колледж Логические формулы и их свойства Новый