НАД/К2 2022

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

Други колоквијум 2022. године одржан је 5. децембра. Теорија је носила 12 бодова, а задаци 8.

Теорија

1. задатак

Поставка

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

2. задатак

Поставка

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

Задаци

1. задатак

Поставка

Дата је формула: $(\Phi) ((\exists x) A (x) \land (\exists x) B(x)) \implies (\exists x)(A(x) \lor B(x))$. Одредити ($\neg \Phi$), затим записати у пренекс облику. Потом урадити сколемизацију. Да ли је првобитна формула ваљана?