Jezik logike sudova i svojstva složenih iskaza

Jezik logike sudova i svojstva složenih iskaza

  • Uređeno prije: 2mj
  • 69
  • Nema stručne ocjene
  • PDF

    Opis materijala

    Učenik prevodi rečenice iskazane prirodnim (običnim) jezikom na jezik logike sudova. Dokazuje valjanost, nevaljanost i zadovoljivost logičkih iskaza metodom istinitosne tablice. Svi nastavni materijali i listići imaju ključ za odgovore. Tekst koji dodan kao primjer za prevođenje i analizu za domaću zadaću jest ulomak iz knjige "Digitalna demencija" Manfreda Spitzera.

    Znanja koja će učenici steći

    Učenik prevodi rečenice iskazane prirodnim (običnim) jezikom na jezik logike sudova. Dokazuje valjanost, nevaljanost i zadovoljivost logičkih iskaza metodom istinitosne tablice.

    Razrada pripreme

    Aktivnost

    Prepoznavanje sudova, logičkih operacija i svojstva složenih iskaza.

    Opis aktivnosti

    Učenik aktivno sluša, razgovara sa svrhom razmjene informacija. Čita upute, na primjerima uočava, prepoznaje i imenuje sudove i vrste logičkih operacija. Uočava i uspoređuje veznike prirodnoga jezika i logičkoga jezika. Provjerava istovrijednost iskaza. Samostalno i u paru rješava zadatke. Provjerava točnost rješenja zadataka. Za domaću zadaću čita tekst i rješava zadatke vezane za tekst i ponavljanje gradiva.

    Doprinosi

    Sanja Horvatić, Osobe ili ustanove koje objavljuju materijal

    Osoba ili ustanova koja objavljuje materijal

    Kategorija materijala

    • Obrazovni sadržaji-> Srednje škole - opći predmeti-> 3. razred-> Logika-> A. Običan jezik i jezici logike-> SŠ LOGIKA A.1. Učenik prevodi rečenice iskazane običnim jezikom na jezik logike sudova i jezik logike prvoga reda te rečenice iskazane jezicima logike prevodi na običan jezik

    Skraćeni naziv

    Jezik logike sudova i svojstva

    Vrsta materijala

    Nastavnička priprema

    Uvjeti iskorištavanja

    Otvoreni sadržaj

    Način pristupa

    Otvoreni pristup

    Jezik

    hrvatski - standardni

    Datum izrade materijala

    10.11.2025.

    Tagovi

    valjanost, digitalna demencija, jezik logike sudova, zadovoljivost, istovrijednost

    Datum unosa materijala

    08.06.2026.

    Status materijala

    Gotov materijal

    Komentari

    Nema komentara