NAD/K2 2022
< НАД
Pređi na navigaciju
Pređi na pretragu
- Ovaj rok nije rešen. Pomozite SI Wiki tako što ćete ga rešiti.
K2 2022/2023 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:
(F) ((∃x)A(x) ∧ (∃x) B(x)) ⇒ (∃x)(A(x) ∨ B(x))
Odrediti (¬F), zatim zapisati u preneks obliku. Potom uraditi skolemizaciju. Da li je prvobitna formula valjana ?