MyCity » Nauka -> Matematika » Elementi matematičke logike

Elementi matematičke logike

Napisano na dan: 13.10.2012

Elementi matematičke logike
Sledeća strana Pagination

Idi na vrh

Poslao: 13 Okt 2012 21:14
Idi na vrh
offline
  • Cane97  Male
  • Novi MyCity građanin
  • Stefan
  • Pridružio: 11 Okt 2012
  • Poruke: 16
  • Gde živiš: Šabac

Da li neko moze da mi objasni disjukciju,konjukciju,negaciju,implikaciju,ekvivalenciju,tautologiju i skupovne operacije? Bebee Dol

HVALA U NAPRED!!!!!


GUZ - Glavom U Zid Laughing



Registruj se da bi učestvovao u diskusiji. Registrovanim korisnicima se NE prikazuju reklame unutar poruka.
Poslao: 13 Okt 2012 21:17
Idi na vrh
offline
  • Milan
  • Pridružio: 17 Dec 2007
  • Poruke: 14825
  • Gde živiš: Niš

Da li znaš šta su iskazi? Da bih ti definisao logičke operacije moraš da znaš šta je iskaz. Wink



Poslao: 14 Okt 2012 10:27
Idi na vrh
offline
  • Cane97  Male
  • Novi MyCity građanin
  • Stefan
  • Pridružio: 11 Okt 2012
  • Poruke: 16
  • Gde živiš: Šabac

Znam,samo mi objasni ovo.

Poslao: 14 Okt 2012 11:22
Idi na vrh
offline
  • Milan
  • Pridružio: 17 Dec 2007
  • Poruke: 14825
  • Gde živiš: Niš

1) NegacijaNegacija se označava simbolom ¬ i čita se "ne".
Primer: Negacija iskaza p je iskaz ¬p (čita se "ne p").
Negacija nekog iskaza p je istinit iskaz ako i samo ako je taj iskaz p neistinit.

2) KonjunkcijaKonjunkcija se označava simbolom ∧ i čita se "i".
Primer: Konjunkcija iskaza p i q je složen iskaz p∧q (čita se "p i q").
Konjunkcija dva iskaza je složen iskaz koji je istinit ako i samo ako su oba iskaza istinita.

3) DisjunkcijaDisjunkcija se označava simbolom ∨ i čita se "ili".
Primer: Konjunkcija iskaza p i q je složen iskaz p ∨ q (čita se "p ili q").
Disjunkcija dva iskaza je složen iskaz koji je istinit ako je bar jedan od dva iskaza istinit.
4) ImplikacijaImplikacija se označava simbolom ⇒ i čita se "sledi".
Primer: Implikacija dva iskaza p i q je složen iskaz p⇒q (čita se "iz p sledi q").
Implikacija p⇒q je složen iskaz koji je neistinit ako i samo ako je iskaz p istinit, a iskaz q neistinit.
5) EkvivalencijaEkvivalencija se označava simbolom ⇔ i čita se "ekvivalentno sa".
Primer: Ekvivalencija dva iskaza p i q je složen iskaz p⇔q (čita se "p je ekvivalentno sa q").
Ekvivalencija p⇔q je složen iskaz koji je istinit ako i samo ako oba iskaza imaju istu istinitosnu vrednost.
Evo ti tablica istinitosti:




Tautologija je iskazna formula koja je tačna za sve istinitosne vrednosti svojih iskaznih slova.
Primer: Imamo iskaznu formulu (p∧(p⇒q))⇒q. Ova formula je tačna kada p i q imaju bilo koju istinitosnu vrednost.



Ova tautologija se zove Modus ponens.



Skupovne operacije biće ubačene nešto kasnije.

Poslao: 14 Okt 2012 14:23
Idi na vrh
offline
  • Cane97  Male
  • Novi MyCity građanin
  • Stefan
  • Pridružio: 11 Okt 2012
  • Poruke: 16
  • Gde živiš: Šabac

Brate spaso si mi dupe! ZIV ti meni da si jos 100 godina !!!! Ziveli Ziveli Cool

MyCity » Nauka -> Matematika » Elementi matematičke logike

Ko je trenutno na forumu
 

Ukupno su 1040 korisnika na forumu :: 101 registrovanih, 10 sakrivenih i 929 gosta   ::   [ Administrator ] [ Supermoderator ] [ Moderator ] :: Detaljnije

Najviše korisnika na forumu ikad bilo je 3466 - dana 01 Jun 2021 17:07

Korisnici koji su trenutno na forumu:
Korisnici trenutno na forumu: -[CoA]-, 33 bren, Abebe Bikila, aleph_one, amadeus, Apok, Arsenije, Avangard, Bivan, bojcistv, bolimejoli, Boris.A, boromir, brufen, C-Gun, Chainsaw, Cicumile, Cili, Citalac, Coabelgrade, DeerHunter, desmeki, Desmond, djile1, Djokislav, Djordje29, Dogma21, Dorcolac, EVIDENTICAR, Flanker-G, Frunze, Georgius, HogarStrashni, HrcAk47, ibssa, Igorkg77, ILGromovnik, istina, ivan_8282, ivicasimo, jalos, janezek67, jimi_agf, jmsk, K-1A, kaisarevic1, klepesina, kn19, krkalon, luka35, M74AB3, Magarac, mane123, Manjane, marko.markovic, marko308, MegaVLAdaR, Mercury, Mi lao shu, Micko97, milenko crazy north, narandzasti, paja69, Panter, Pekman, Pilence, Prašinar, raptorsi, redstar011, Regrut Boskica, repac, royst33, RS28, Rusmir, SamostalniReferent, samoulogovankorisnik, Sava89, savaskytec, sekretar, semper_fidelis, septembar, Shajlok, Sićko, Smajser, Srle993, Srpska zauvjek, StalniPromatrač, stegonosa, Tafocus, The Boss, TheBeastOfMG, therealgodzilla, Timočka Divizija, Topaz9, Tragač, ttmmppttttnn, User98, vargas, Yellow Pinky, zlaya011, zombicar153