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: 14827
  • 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: 14827
  • 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 1359 korisnika na forumu :: 100 registrovanih, 9 sakrivenih i 1250 gosta   ::   [ Administrator ] [ Supermoderator ] [ Moderator ] :: Detaljnije

Najviše korisnika na forumu ikad bilo je 13297 - dana 20 Jan 2026 17:42

Korisnici koji su trenutno na forumu:
Korisnici trenutno na forumu: 33 bren, Aleksej, ALEKSICMILE, Alka, Andrija357, Arsenije, Avalon015, avijacija, babaroga, Bane san, batana, bbogdan, bbrasnjo3, Bobrock1, bojankrstc, bojcistv, Burovnyak, C-Gun, cemix, comi991, Deki Duga Devetka, Denaya, desmeki, Dioniss, draganl, dule10savic, Dungorth, dusanobr, ElvisP, Ercomero, Gaga_89, gajasvi, Giskard, GrobarPovratak, ikan, ILGromovnik, Istman, jodzula, jon istvan, Jozo74, Karla, kaskadija, king111, Knovakov, Kubovac, ladro, laganini123, Lazur_01, Marko Marković, Marko00, markolopin, mercedesamg, mikrimaus, milanpb, milenko crazy north, Miler88, miroslav milanović, Miškić, N.e.m.a.nj.a., Naj-Turs, nemkea71, Nmr, Papadubi, Pekman, Pero, Pero Petković, ping15, pixi, Podljub, Povratak1912, precan, predragc, prikolica, Radio operater, raster12, razumihin, Resad76, sap, sasakrajina, singa, Sioux7674, Srle993, stalja, StefanNS, Stod, superwhy, The_new_Statesman, theNedjeljko, tritonus, troki1971, Trpe Grozni, VJ, Vlad000, Vrač, Weah88, x011, Zastava, Zdilar, Žrnov, 79693