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.
p<br />
r<br />
¬ q<br />
¬ r p<br />
r<br />
¬ r<br />
¬ q<br />
sl.1.4<br />
q<br />
r<br />
p ¬ q r<br />
¬ p ¬ q r<br />
sl.1.5<br />
p<br />
q<br />
r<br />
t<br />
p<br />
q<br />
t<br />
p<br />
r<br />
sl.1.6<br />
1.5. Generatorni mno`estva svrznici<br />
Sekoja iskaz<strong>na</strong> formula {to sodr`i n iskazni promenlivi generira<br />
soodvet<strong>na</strong> funkcija <strong>na</strong> vistinitost so n promenlivi, t.e. preslikuvawe od<br />
{T,⊥} n →{T,⊥}. Logi~ki ekvivalentni formuli generiraat "ed<strong>na</strong>kvi"<br />
funkcii <strong>na</strong> vistinitost. Imeno, dve logi~ki ekvivalentni formuli so<br />
ed<strong>na</strong>kov broj iskazni promenlivi generiraat ed<strong>na</strong>kvi funkcii <strong>na</strong><br />
vistinitost. Dokolku imame logi~ki ekvivalentni formuli so razli~en<br />
broj iskazni promenlivi m i n, toga{ vsu{nost funkciite <strong>na</strong> vistinitost<br />
nemaat ed<strong>na</strong>kvi domeni, t.e. tie ne se ed<strong>na</strong>kvi kako preslikuvawa. Sepak,<br />
dvete funkcii <strong>na</strong> vistinitost mo`at da se smetaat za ed<strong>na</strong>kvi, zatoa {to<br />
mo`e da se doka`e deka ako m