НАД/К2 2022 — разлика између измена
< НАД
Пређи на навигацију
Пређи на претрагу
(Нова страница: {{tocright}} {{нерешено}} '''K2 2022/2023''' Теорија је носила 12 бодова, а задаци 8. == Теорија == === 1. задатак ==…) |
|||
| Ред 16: | Ред 16: | ||
==== Поставка ==== | ==== Поставка ==== | ||
Дата је формула: | Дата је формула: | ||
( | (Ф) ((∃x)A(x) ∧ (∃x) B(x)) ⇒ (∃x)(A(x) ∨ B(x)) | ||
Одредити ( | Одредити (¬Ф), затим записати у пренекс облику. Потом урадити сколемизацију. Да ли је првобитна формула ваљана ? | ||
[[Категорија:Рокови]] | [[Категорија:Рокови]] | ||
[[Категорија:НАД]]<!-- Заменити категорију са категоријом предмета --> | [[Категорија:НАД]]<!-- Заменити категорију са категоријом предмета --> | ||
Верзија на датум 5. децембар 2022. у 20:18
- Овај рок није решен. Помозите SI Wiki тако што ћете га решити.
K2 2022/2023 Теорија је носила 12 бодова, а задаци 8.
Теорија
1. задатак
Поставка
Дефинисати мрежу.
2. задатак
Поставка
Дефинисати Формалну теорију. Када је теорија одлучива?
Задаци
1. задатак
Поставка
Дата је формула: (Ф) ((∃x)A(x) ∧ (∃x) B(x)) ⇒ (∃x)(A(x) ∨ B(x)) Одредити (¬Ф), затим записати у пренекс облику. Потом урадити сколемизацију. Да ли је првобитна формула ваљана ?