|
|
Iskazi , logicke operacije i njihove osobine
Recenice koje imaju svojstvo: ili su Tacne ili Netacne zovu se iskazi. pr. Misa je ucenik, prosta recenica. Recenice sadrze promenjivu ijako nisu iskazi, za odredjenje vrednosti promenjive pretvaraju se u iskaz. Upotrebom kvantifikatora 'svaki' odnosno 'postoji'. recenice imaju sled iskaz: za svaki z, z+3=5 pisemo (Â¥z) (z+3=5) ; postji z, z+3=5 pisemo (Ez) (z+3=5). Umesto reci tacan , netacan koristimo brojne vrednosti 1, 0.
Konjunkcija (p'i'q) Recenica p i q zove se koljunkcija recenice p sa recenicom q. K. je tacna ako i samo ako su tacna oba iskaza koji ucestvuju u njoj (napisi tabelu za i)
Disjunkcija (pVq) p ili q disjunkcija je tacna ako i samo ako je tacan bar jedan od oskazakoji u njoj ucestvuju.(nac tablicu)
Eskluzivne disjunkcije (+zaokruzen) E. d. je tacna ako i samo ako je tacan samo jedan od iskaza koji ucestvuje.
Negacija N. recenice p je recenica ne p. pisemo:Â'not'p (nacrtaj tabl)
N. je tacna ako i samo ako je netacan iskaz koji se obrazuje.
Implikacja impl recenice p i recenice q je recenica: ako p, onda q.pisemo: p=>q (nacrtaj tabl) impl je netacan ako i samo ako je p tacan,a q netacan iskaz. impl koristimo u log zakljucivanju. recenica p zove se pretpostavka a recenica q posledica.
Ekvivalencija e. recenica p i receniceq je recenica: ako p, onda q i ako q, onda p. (nact tabl)