НАД/К2 2022

Овај рок није решен. Помозите SI Wiki тако што ћете га решити.

K2 2022/2023 Теорија је носила 12 бодова, а задаци 8.

Теорија

1. задатак

Поставка

Дефинисати мрежу.

2. задатак

Поставка

Дефинисати Формалну теорију. Када је теорија одлучива?

Задаци

1. задатак

Поставка

Дата је формула:
(Ф) ((∃x)A(x) ∧ (∃x) B(x)) ⇒ (∃x)(A(x) ∨ B(x))
Одредити (¬Ф), затим записати у пренекс облику. Потом урадити сколемизацију. Да ли је првобитна формула ваљана ?