llenguatge formalitzat LÒG.
Llenguatge o càlcul formal que rep una interpretació. Interpretar un càlcul o un llenguatge formal és donar significat als seus símbols. Un
model d’una fórmula és aquella interpretació que la fa vertadera; un model
d’un sistema formal és aquella interpretació que fa vertaders tots els seus teoremes.
Aquesta obra està sota una llicència de Creative Commons.