Prijave - Školsko natjecanje iz logike 31. 1. 2024.Ne zaboravite se prijaviti i na službenu središnju prijavu (link na nju će vam poslati ravnatelj)
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 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 Potpuna rješenja gornjih vježbi Dodatna vježba 3 Neka vas u rješenjima ne zbuni malo drugačije korištenje pravila uvođenja univerzalnog kvantifikatora u nekim zadacima. |
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)).
Prijevodi, jednokovrijednost, protuslovlje, i još nešto...(interaktivno)
Logika na youtubeu: