|
|
Pojam semantičke i sintaksne posledice skupa formula
Semantiku računa L daje njegova glavna interpretacija - iskazna algebra {0,1}, kojom je inspirisana ova formalna teorija. Da bi takva formalizacija bila potuna treba da važi: formula je teorema računa L, ako i samo ako je njena interpretacija u iskaznoj algebri tautologija. Odredimo inerpretaciju formula računa L na najprirodniji način u skladu sa oznakam operacija. Tako će svakoj formuli računa L odgovarati iskazna formula sa logičkim operatorima 'not' , => i iskaznim slovima p,q,r,... Npr. Intepretacija formula 'not' p=>q računa L , biće formula 'not' p=>q u kojoj su 'not' negacija, => impikacija, a p,q su iskazna slova sa vrednostima u {0,1}.