Logika
vježbe (domaće zadaće), rezultati ispita, komentirani zadaci










NOVO! PRIJAVE - ŠKOLSKO NATJECANJE IZ LOGIKE 30.1.2018.

tekstovi su u .pdf formatu za čije otvaranje trebate skinuti i instalirati (ukoliko ga nemate!) besplatni program Adobe Reader na adresi:

http://get.adobe.com/reader/

NASTAVA (2014/2015)


Općenito Zadaci:
Pojam, sud, zaključak; Jezik logike sudova i jezik logike pojmova Vjezba1 Vježba2
Poopćenja (∃, ∀), kategorički sudovi, prijevodi složenijih sudova Vježba3 Prijevodi
Semantika logičkih veznika i Prirodna dedukcija
Prirodna dedukcija - Sažetak - pravila i teoremi
Vježba4.1
Vježba4.2
Vježba4.3
Imamo novi forum (hvala Leonu!): http://logikaxv.cf pa slobodno pitajte što nije jasno
Dodatne vježbe (na kraju dokumenata su nepotpuna rješenja (sva mjesta s tri točkice (...) trebaju biti ispunjena))
Dodatna vježba 1
Dodatna vježba 2
Dodatna vježba 3
Neka vas u rješenjima ne zbuni malo drugačije korištenje pravila uvođenja univerzalnog kvantifikatora u nekim zadacima. Isto tako, zbunit će vas (bez objašnjenja), vjerojatno, neki dokazi vezani za isključivanje disjunkcije (npr. 04(2) - dokaz za disjunktivni silogizam) - takvi dokazi se neće tražiti (iako isključivanje disjunkcije hoće).
Rješenja nema. Savjete potražite na ovim mjestima: Uvođenje i isključenje negacije i Uvođenje i isključenje konjunkcije , za kondicional pogledajte kratak film: Uvođenje kondicionala (Malo je usporeno, imajte strpljenja)
Rješenja - Vježba 4.2: Prvi dio Drugi dio Treći dio Četvrti dio

Film od 40 minuta s objašnjenjima izvođenja u Vježbama 4.2 možete pogledati ovdje (najbolje je u HD-u ako možete)
Rješenja Vježbe 4.3 - snimka s objašnjenjima (1. i 2. zadatak)
Rješenja - Vježba 4.3 u slikama (1. i 2. zadatak): Prvi dio Drugi dio Treći dio Četvrti dio Peti dio
Vježbe 4.3. (3. zadatak): ovdje




Općenito Zadaci:
Kako prosuditi je li zaključak valjan Valjanost - nevaljanost, zadovoljivost - nezadovoljivost Vježba 5.2

Provjera valjanosti zaključka I Vježba 6 (isključujuću disjunkciju pišite kako smo učili a ne kako je u rješenjima)

Provjera valjanosti zaključka II Vježba 6.2 (isključujuću disjunkciju pišite kako smo učili a ne kako je u rješenjima) Rješenja 6.2

KATEGORIČKI SILOGIZAM - PROTUMODELI Vježba 7 Djelomična rješenja su Ovdje

Izvođenja (PD) i protumodeli - složenije Vježba 7.2

Vjezba čiji smo dio prošli na satu Vježba - dedukcije, predikati-relacije, složeniji protumodeli .

Provjerite svoja umijeća! (interaktivno) (Ovdje se valjanost/nevaljanost zaključaka dokazuje neformalno. Nakon vježbi pisanja tablica i dokaza trebali biste moći na ovaj način rasuđivati o zaključcima i prividnim zaključcima.)(Ako ste preglednike (brauzere) podesili da budu oprezniji, kliknite na "Dopusti blokirani sadržaj" (ta se poruka najčešće javlja na engleskom)).


Dokazi na youtubeu:


Natjecanja

Tradicionalno - suvremeno