CrniĐavo
Elita
- Poruka
- 17.474
Znam sta je sud... proveri ti...
Matematika svoje rezultate formuliše u logičke sudove (stavove) Pri izvođenju stavova moramo poći od početnih stavova. Ove stavove nazivamo aksiomi. Sudovi(iskazi) kojima se tačno i sažeto iskazuju rezultati proučavanja u jednoj matematičkoj nauci nazivaju se stavovi.
Operacije sa sudovima:
Negacija suda:
Negacija sadrži samo jedan iskaz, ispred kojega stoji znak negacije:' . Označavamo je sa 'P, Primjer:
S: Duži a i b su jednake
negacija ovog suda je 'S:
Duži a i b nisu jednake
Konjukcija sudova:
Konjukcija sudova sud koji dobijemo kada povežemo dva suda veznikom i (oznaka&).
Disjunkcija sudova:
Disjunkcija sudova sud koji dobijemo kada povežemo dva suda veznikom ili(v). Označava se sa P v Q.
Implikacija sudova:
Sud koji dobijemo kada dva suda spojimo znakom "→" (slijedi) naziva se implikacija. Označava se sa P → Q.
(duž a paralelna sa duži b) i (duž b paralelna sa duži c) "→"duž a paralelna sa duži c Ako u jednoj implikaciji zamjenimo mjesta predpostavke i zaključka,dobićemo novu implikaciju za koju kažemo da je konverzija (obrt) prve implikacije.
Ekvivalencija:
Ako su tačne implikacije P → Q i Q →P dobija mo novi sud P ≡ Q koji nazivamo ekvivalencija.