NAD/K2 2022

Ovaj rok nije rešen. Pomozite SI Wiki tako što ćete ga rešiti.

Drugi kolokvijum 2022. godine održan je 5. decembra. Teorija je nosila 12 bodova, a zadaci 8.

Teorija

1. zadatak

Postavka

Definisati mrežu.

2. zadatak

Postavka

Definisati Formalnu teoriju. Kada je teorija odlučiva?

Zadaci

1. zadatak

Postavka

Data je formula: $(\Phi) ((\exists x) A (x) \land (\exists x) B(x)) \implies (\exists x)(A(x) \lor B(x))$. Odrediti ($\neg \Phi$), zatim zapisati u preneks obliku. Potom uraditi skolemizaciju. Da li je prvobitna formula valjana?