Kući

Logika
.




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)




Programi za vježbanje logike





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

Kako će test otprilike izgledati možete pogledati OVDJE 0 i OVDJE 1


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:


Natjecanja

Tradicionalno - suvremeno

Filozofija