НАД/К2 2022
< НАД
Пређи на навигацију
Пређи на претрагу
- Овај рок није решен. Помозите SI Wiki тако што ћете га решити.
K2 2022/2023 Теорија је носила 12 бодова, а задаци 8.
Теорија
1. задатак
Поставка
Дефинисати мрежу.
2. задатак
Поставка
Дефинисати Формалну теорију. Када је теорија одлучива?
Задаци
1. задатак
Поставка
Дата је формула: (f) ((∃x)A(x) ∧ (∃x) B(x)) ⇒ (∃x)(A(x) ∨ B(x)) Одредити (¬f), затим записати у пренекс облику. Потом урадити сколемизацију. Да ли је првобитна формула ваљана ?