U kvizu lekcije Predikatska logika nedostaje tekst pitanja broj 1.
Takođe, u istom kvizu, na pitanju broj 4. mislim da je dat pogrešan odgovor (Проблем испитивања ваљаност формуле логике првог реда је:
C. полуодлучив јер не постоји алгоритам који може да за произвољну ваљану формулу одреди да је ваљана, али постоји алгоритам који за произвољну формулу која није ваљана може да одреди да није ваљана)
Ova poruka je automatski generisana sa lokacije: Petlja