O interpretare a unui limbaj de prim ordin atribuie o notare fiecărui simbol non-logic din limba respectivă. De asemenea, determină un domeniu al discursului care specifică gama de cuantificatori. Rezultatul este că fiecărui termen i se atribuie un obiect pe … Citeşte mai mult
The post Semantica logicii de primul ordin appeared first on SetThings.