Quote from: smelyzajo on 25.01.2011, 22:15:19
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.