Constant
De Wikisofia
La revisió el 10:01, 16 set 2017 per Jaumeortola (discussió | contribucions) (bot: - (a,b,c,...), que són els nom d'un + (a, b, c...), que són els noms d'un)
La revisió el 10:01, 16 set 2017 per Jaumeortola (discussió | contribucions) (bot: - (a,b,c,...), que són els nom d'un + (a, b, c...), que són els noms d'un)
(del llatí constés, romandre, mantenir-se sòlidament)
Signes ho símbols del llenguatge lògic, el valor o el sentit del qual 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 noms 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.