Logika

FFZG Ispit L2 (17. studenog 2025.) A grupa (izvanredni rok) 😊

FFZG Ispit L2 (2.9.2025.) A Grupa 😊

FFZG Ispit L2 (2.9.2025.) B grupa 😊

1.-Postoji student koji je pročitao sve knjige
-Za svaku knjigu postoji student koji ju je pročitao

Treba uzeti relaciju Pxy, i Sx i Kx, provjeriti implicira li ijedna rečenica drugu itd.

2.Skupovi:
a) a i b su disjunktni
b) a je podskup b, ali nisu jednaki

3.Koji je logički sustav potpun, ali nepouzdan, koja metalogička svojstva sigurno posjeduje, a koja sigurno ne? Definicija relevantnih svojstava, detaljno obrazložiti

4.Razlika između semantičke i sintaktičke posljedice, kako Gödelov teorem potpunosti povezuje ova dva pojma (logika prvog reda)

5.Po čemu je poznat Frege, koje je njegovo glavno djelo?

6.Problem egzistencijalnog uvoza u Aristotelovskoj logici, kako suvremena logika rješava ovaj problem? Dati konkretan primjer

7.literatura

6.pr