Предикатска логика - квиз¶
- функцију
- релацију
- константну
- таутологију
Сваки исказ представља неку:
- зна домен
- зна интерпретација релацијских и функцијских симбола
- одреди број квантификатора који се јављају у формули
- формула трансформише у клаузалну форму
Q-27: Да би могла да се одреди истинитосна вредност формуле логике првог реда, потребно је да се:
- ¬ (∃ x)(P(x) ∧ ¬ P(x)))
- (∀ x)(¬ (P(x) ⇒ Q(x)) ⇔ P(x) ∧ ¬ Q(x)))
- (∃ x)(P(x) ⇒ (∀ x)(P(x)))
- ¬ (∃ x)(P(x)) ⇔ (∀ x)(¬ P(x))
Q-28: Које од наредних формула су ваљане формуле:
- одлучив јер постоји алгоритам који га решава
- неодлучив јер не постоји алгоритам који може да за произвољну ваљану формулу одреди да је ваљана нити постоји алгоритам који за произвољну формулу која није ваљана може да одреди да није ваљана
- полуодлучив јер не постоји алгоритам који може да за произвољну ваљану формулу одреди да је ваљана, али постоји алгоритам који за произвољну формулу која није ваљана може да одреди да није ваљана
- полуодлучив јер постоји алгоритам који може да за произвољну ваљану формулу одреди да је ваљана, али не постоји алгоритам који за произвољну формулу која није ваљана може да одреди да није ваљана
Q-29: Проблем испитивања ваљаност формуле логике првог реда је:
- Vampire
- Dracula
- Frankenstein
- Godzilla
Q-30: Како се зове један од најчувенијих аутоматских доказивача теорема за логику првог реда:
- метода декларације
- метода конјункције
- метода дисјункције
- метода резолуције
Q-31: Метода по којој ради већина аутоматских доказивача теорема за логику првог реда назива се:
- Да су сви квантификатори на почетку формуле.
- Да је формула представљена скупом клаузула.
- Да се у формули јављају само универзални, а не и егзистенцијални квантификатори.
- Да формула садржи негацију само на нивоу атомичких формула
Q-32: Шта значи да је формула у пренекс нормалној форми?