Semantica logicii de primul ordin

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.

Faci un comentariu sau dai un răspuns?

Adresa ta de email nu va fi publicată. Câmpurile obligatorii sunt marcate cu *