Accions

Constant

De Wikisofia

La revisió el 08:40, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} <small>(del llatí ''constés'', romandre, mantenir-se sòlidament)</small> Signes o símbols del llenguatge lògic, el valor del qual...».)
(dif.) ← Versió més antiga | Versió actual (dif.) | Versió més nova → (dif.)

(del llatí constés, romandre, mantenir-se sòlidament)

Signes o símbols del llenguatge lògic, el valor del qual o sentit no varia. Són constants les connectives i els quantificadors. En lògica de predicats, són constants també les lletres de predicat (P,Q,R,...) i les constants d'individu (a,b,c,...), que són els nom d'un objecte o individu. Comparades amb les variables, aquestes representen els objectes que parlen els enunciats, i aquelles la manera com es parla d'ells.