Elementi matematičke logike

• 0Niko još nije pohvalio poruku.
  Registruj se da bi pohvalio/la poruku!

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

HVALA U NAPRED!!!!!

• 0Niko još nije pohvalio poruku.
  Registruj se da bi pohvalio/la poruku!

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

• 0Niko još nije pohvalio poruku.
  Registruj se da bi pohvalio/la poruku!

Znam,samo mi objasni ovo.

• 3Ovo se svidja korisnicima: ACA 1997, smorena, ivance95
  
  Registruj se da bi pohvalio/la poruku!

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.

• 1Ovo se svidja korisniku: vasa.93
  
  Registruj se da bi pohvalio/la poruku!

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