voved vo teorijata na mno@estvata i matemati^kata logika
voved vo teorijata na mno@estvata i matemati^kata logika
voved vo teorijata na mno@estvata i matemati^kata logika
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Da <strong>na</strong>vedeme u{te primeri <strong>na</strong> atomarni iskazi:<br />
"5 e ed<strong>na</strong>kov so 0." (ili, "5=0.")<br />
"8 e deliv so 4." (ili, "4⏐8.")<br />
Kako {to <strong>vo</strong> go<strong>vo</strong>rniot jazik od prosti formirame slo`eni<br />
re~enici, taka i od atomarni iskazi, so pomo{ <strong>na</strong> "svrznici", mo`eme da<br />
formirame "slo`eni iskazi". Vo <strong>na</strong>tamo{niot tekst }e rabotime samo so<br />
re~enici koi se iskazi. Pritoa za oz<strong>na</strong>ka <strong>na</strong> iskaz (po<strong>na</strong>tamu i za iskaz<strong>na</strong><br />
promenliva) }e koristime mali bukvi od sredi<strong>na</strong>ta <strong>na</strong> latinskata azbuka: p,<br />
q, r, s, ....<br />
Negacijata e <strong>na</strong>jednostavniot <strong>na</strong>~in od atomar<strong>na</strong> da se dobie<br />
poslo`e<strong>na</strong> re~enica. Vo go<strong>vo</strong>rniot jazik taa se primenuva <strong>na</strong> razli~ni<br />
<strong>na</strong>~ini. Taka, negacija <strong>na</strong> re~enicata<br />
e<br />
ili<br />
1 e pozitiven cel broj<br />
1 ne e pozitiven cel broj<br />
Ne e to~no deka 1 e pozitiven cel broj.<br />
]e go koristime vtoriot <strong>na</strong>~in za formirawe re~enici so pomo{ <strong>na</strong><br />
negacija. Imeno, ako p e re~enica, negacijata }e ja oz<strong>na</strong>~uvame so ¬p, t.e. so<br />
stavawe z<strong>na</strong>k za negacija ¬ pred celata re~enica. Z<strong>na</strong>~i, negacija <strong>na</strong> iskazot<br />
p e iskazot ¬p, pri {to, ako p e vistinit iskaz, ¬p e nevistinit, a ako p e<br />
nevistinit, ¬p e vistinit iskaz. Neka T i ⊥ se oz<strong>na</strong>ki za "to~no", odnosno<br />
"neto~no", soodvetno. Toga{ vistinitosta <strong>na</strong> re~enicata ¬p <strong>vo</strong> zavisnost od<br />
vistinitosta <strong>na</strong> re~enicata p mo`e da se pretstavi so tablica <strong>na</strong> sledniov<br />
<strong>na</strong>~in:<br />
p ¬p<br />
T ⊥<br />
⊥ T<br />
Z<strong>na</strong>~i:<br />
p e to~en iskaz ako i samo ako ¬p e neto~en.<br />
Drug <strong>vo</strong>obi~aen svrznik e konjunkcijata (se oz<strong>na</strong>~uva so ∧).<br />
Zavisnosta me|u vrednostite <strong>na</strong> vistinitost <strong>na</strong> po~etnite iskazi i<br />
no<strong>vo</strong>formiraniot iskaz so svrznikot ∧ se definira so sled<strong>na</strong>va tablica <strong>na</strong><br />
vistinitost:<br />
p q p∧q<br />
T T T<br />
12