1. O logici i skupovima Flashcards
Kako se definiše skup?
Skup je jedan od osnovnih pojmova matematike. Nema definiciju, već se zasniva na intuiciji
Koje oblasti su obrađene u 4. poglavlju, Bulova algebra?
Iskazna algebra, algebra skupova i deo teorije brojeva
Šta je iskazna algebra?
Hmmm..kao oblast, nisam našla definiciju.
Definiše se uglavnom kao dvoelementni skup nad kom su definisane operacije konjukcije, disjunkcije, negacije, implikacije i ekvivalencije, gde se ta dva elementa često obeležavaju sa ‘tačno’/’netačno/ ili 0/1
Šta je algebra skupova?
Kao oblast, algebra skupova je oblast, u okviru matematike i logike, proučavanja operacija koje se izvode između skupova.
Hrvatska definicija: neprazna sveukupnost podskupova nekog skupa zatvorena u odnosu na konačan broj operacija nad njima. Kraće rečeno, iskazna algebra, ali ovo je definisano na podskupovima jednog skupa
Šta je teorija brojeva?
Teorija brojeva je grana matematike koja se bavi osobinama brojeva, posebno celih, kao i širih klasa problema koji proističu iz ove studije. Koristi se i izraz aritmetika, odnosno, viša aritmetika (ne treba mešati sa elementarnom aritmetikom)
Kako su iskazna algebra i algebra skupiva obrađeni u 4. poglavlju?
Kroz primere i modele Bulove algebre
Kako su iskazna algebra i algebra skupiva obrađeni u 4. poglavlju?
Kroz primere i modele Bulove algebre
Šta su iskazi?
Iskazi su sklopovi na koje se može primeniti jedna i samo jedna od reči, istinito ili neistinito, tako da to “ima smisla”
Šta je disjunkcija, a šta konjukcija, tvojim rečima?
Disjunkcija je “ili”, a konjukcija “i”
Šta su disjunkcija, konjukcija..?
Binarne operacije
Šta su disjunkcija, konjukcija..?
Binarne operacije
Moje oznake
&& - konjukcija
|| - disjunkcija
“-“ - negacija
Kako se može dokazati -(p && q) <=> -p || -q
Može se dokazati proverom sva četiri moguća slučaja, ali je opšte poznat kao Demorganov zakon
Kako glasi Demorganov zakon?
-(p&&q) <=> -p||-q
Kako ‘zdravorazumski’ glasi Demorganov zakon?
Suprotno tome da su oba tvrđenja tačna, jeste da je bar jedno netačno!