CONSTRUCCI N O DEFINICI N DE UNA L GICA FORMAL.Sintaxis = especifica una descripci n del conjunto de formulas bien formadas (fbf), lo cual se hace generalmente por medio de una gram ticaSem ntica = una clase de estructuras que dan significado a fbf. Satisfacitilidad = una manera de saber si una estructura dada satisface formula. L gica Modal (b sica)Una l gica se puede especificar sem ntica o sint cticamente.El enfoque sem ntico se corresponde con...
Related Subjects
Philosophy