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