Pa joj, inteprteracija je nacin tumacenja simbola :).
Uvek postoji standardna interpretacija, a to je da je + sabiranje i ...
Naravno sve to se moze veoma formalno sve izdefenisati, a uglavnom je vezano za logiku.
Sto se tice funkcije, nekako je uobicjano da ako argument pripada R da posmatramo funkciju nad R to jest, posto ne mora biti definisana svuda, na nekom podskupu od R :).
Ovako nesto mozemo nazvati intepretacijom (to jest bar jednim njenim delom :) ).
Ajde da pokusam da ti pojasnim to na jednom glupom primeru :)
za svako x i y iz skupa prirodnih brojeva vazi f(x,y) = f(y,x)
Ova recenica je ... tacna ili netacna, pa sada ko to zna, sve zavisi od toga sta je funkcija f, eto ako funckicju f intepretiramo sabiranjem ta racenica je tacna, ako f intepretiramo deljenjem onda nije :).
Znaci mozemo reci da tacnost recenice zavisi od intepretacije :), e one formule koje su uvek tacne bez obzira na intepretaciju su valjane formule (u predikatskom racunu prvog reda) ili tautologije (u predikatskom racunu).
Onu polaznu recenicu mozemo napisati kao:
za svako x iz R vazi f(g(x))=x
i njenja tacnost vazi u zavisnosti od intepretacije f i g.
Dakle ne zaboravimo ovo je pitanje iz logike, a ne iz snalazljivosti analize :).
CHUPCKO
Re: Logicke recenice
Registrovani: 5 ( MajorFatal, foxhunter1, mtopic, djoka_l, scoolptor )
Re: Logicke recenice