Diferència entre revisions de la pàgina «Enunciat, lletres d'»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} En lògica d'enunciats, les lletres que a manera de símbols representen, en el llenguatge formalitzat, a...».) |
m (bot: - ''p, q, r'',.., etc., + ''p'', ''q'', ''r''...,) |
||
| Línia 2: | Línia 2: | ||
En [[lògica|lògica d'enunciats]], les lletres que a manera de [[símbol|símbols]] representen, en el llenguatge [[formalització|formalitzat]], a cadascun dels [[enunciat|enunciats]]. S'usen lletres minúscules, normalment començant a partir de ''p, q, r'',.., etc. | En [[lògica|lògica d'enunciats]], les lletres que a manera de [[símbol|símbols]] representen, en el llenguatge [[formalització|formalitzat]], a cadascun dels [[enunciat|enunciats]]. S'usen lletres minúscules, normalment començant a partir de ''p, q, r'',.., etc. | ||
| − | Una seqüència de signes, constituïda per lletres d'enunciat, ''p, q, r'' | + | Una seqüència de signes, constituïda per lletres d'enunciat, ''p'', ''q'', ''r''..., que poden ser considerades com a variables, juntament amb les [[connectors, connectives|connectives]], que poden considerar-se com a constants lògiques, i l'ajuda de símbols auxiliars, com (...) [...], escrita segons les regles de la [[sintaxi|sintaxi]] lògica per a la formació de [[fórmula|fórmules]], constitueix una expressió del [[llenguatge|llenguatge]] lògic. S'atribueix [[significat|significat]] a aquest llenguatge mitjançant la [[interpretació|interpretació]] dels símbols: les constants lògiques es defineixen com a connectives [[veritativo-funcional, enunciat|veritativo-funcionals]] i les lletres d'enunciat reben, com a variables, un domini d'aplicació, això és, el conjunt d'enunciats en llenguatge ordinari. |
{{Etiqueta|Etiqueta=Lògica}}{{InfoWiki}} | {{Etiqueta|Etiqueta=Lògica}}{{InfoWiki}} | ||
Revisió del 14:58, 22 ago 2017
En lògica d'enunciats, les lletres que a manera de símbols representen, en el llenguatge formalitzat, a cadascun dels enunciats. S'usen lletres minúscules, normalment començant a partir de p, q, r,.., etc.
Una seqüència de signes, constituïda per lletres d'enunciat, p, q, r..., que poden ser considerades com a variables, juntament amb les connectives, que poden considerar-se com a constants lògiques, i l'ajuda de símbols auxiliars, com (...) [...], escrita segons les regles de la sintaxi lògica per a la formació de fórmules, constitueix una expressió del llenguatge lògic. S'atribueix significat a aquest llenguatge mitjançant la interpretació dels símbols: les constants lògiques es defineixen com a connectives veritativo-funcionals i les lletres d'enunciat reben, com a variables, un domini d'aplicació, això és, el conjunt d'enunciats en llenguatge ordinari.