1
2. ročník / Re: Matematicka logika
« on: 25.01.2011, 22:40:41 »vedel by mi tu niekto hodit prestnu definiciu kedy je formula splnena a kedy splnitelna v strukture M v predikatovej logike thx
Formula je splnena, teda platí v strukture M, ked je v tejto strukture pravdiva pri kazdom ohodnoteni premennych.
Ak je v strukture M pre jazyk teorie T splena kazda axioma teorie T, hovorime ze m je model teorie T. Teoria,ktora ma model je splnitelna.