Даны две логические формулы:
¬ (А &В⟶А) и A ⟶ A∨B
Эти формулы

• первая формула является произвольной, вторая общезначима;
• обе общезначимы;
• первая общезначима, вторая противоречива;
• первая противоречива, вторая общезначима;
• обе противоречивы;
• первая формула противоречива, вторая является произвольной;
• правильного ответа нет.

Другие предметы Колледж Логические формулы и их свойства интеллектуальные информационные системы логические формулы общезначимость формул противоречивые формулы колледж ИИС анализ логических формул философия логики логика в ИИС формальная логика Новый