НАД/К2 2022 — разлика између измена
< НАД
Пређи на навигацију
Пређи на претрагу
| Ред 15: | Ред 15: | ||
=== 1. задатак === | === 1. задатак === | ||
==== Поставка ==== | ==== Поставка ==== | ||
Дата је формула: | Дата је формула:<br> | ||
(Ф) ((∃x)A(x) ∧ (∃x) B(x)) ⇒ (∃x)(A(x) ∨ B(x)) | (Ф) ((∃x)A(x) ∧ (∃x) B(x)) ⇒ (∃x)(A(x) ∨ B(x))<br> | ||
Одредити (¬Ф), затим записати у пренекс облику. Потом урадити сколемизацију. Да ли је првобитна формула ваљана ? | Одредити (¬Ф), затим записати у пренекс облику. Потом урадити сколемизацију. Да ли је првобитна формула ваљана ? | ||
Верзија на датум 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))
Одредити (¬Ф), затим записати у пренекс облику. Потом урадити сколемизацију. Да ли је првобитна формула ваљана ?