Logika (e-gradiva)
Razvijanje logičnega mišljenja ter utrjevanje znanja o pravilnosti različnih logičnih povezav.
Ugotovite resničnostno vrednost danih stavkov podanih v logičnih svetovih geometrijskih likov
Učenec skozi primere spozna konjunkcijo, ter zna določiti pravilnost tako sestavljenih izjav.
Učenec razume pojem disjunkcije, ter zna določiti pravilnost tako sestavljene izjave.
Učenec razume pojem implikacija, ter zna ugotoviti pravilnost izjave, ki je sestavljena z implikacijo.
Učenec razume pojem kontradiktorne izjave, ter jo zna pravilno prepoznati.
Učenec razume pojem negacije in jo zna uporabiti na preprostih primerih.
Učenec razume enomestne predikate in jih zna uporabiti na preprostih zgledih.
Učenec spozna simbole za disjunkcijo, konjunkcijo, ekvivalenco, implikacijo in negacijo. Zna jih uporabiti na preprostih primerih.
Učenec spozna kvantifikatorja "vsaj en" in "vsak" in ju zna pravilno uporabiti.
Učenec razume pojem ekvivalence, ter zna določiti pravilnost izjave, ki le to vsebuje.
Razumevanje izjav in pravilna prepoznavnost le teh med različnimi stavki.
Učenec razume razliko med pravilnimi in nepravilnimi izjavami in zna rešiti enostavne naloge iz tega poglavja.
Učenec razume razliko med enostavnimi in sestavljenimi izjavami, ter jih zna pravilno prepoznati.
Učenec spozna Vennove diagrame na preprostih zgledih. Zna narisati diagrame za enostavne izjave s kvantifikatorji.
Učenec trenira logično sklepanje ob nalogah s števili različnih težavnostnih stopenj
Učenec trenira logično sklepanje ob nalogah različnih težavnostnih stopenj.
Nekaj nalog tipa latinski kvadrat, različnih velikosti in težavnosti.
