Diferència entre revisions de la pàgina «Enunciat, lletres d'»
De Wikisofia
m (bot: - ''p, q, r'',.., etc., + ''p'', ''q'', ''r''...,) |
m (bot: - d'aplicació, això és, + d'aplicació, és a dir,) |
||
| (Hi ha una revisió intermèdia del mateix usuari que no es mostren) | |||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
| − | 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'' | + | 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''... |
| − | 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ó, | + | 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ó, és a dir, el conjunt d'enunciats en llenguatge ordinari. |
{{Etiqueta|Etiqueta=Lògica}}{{InfoWiki}} | {{Etiqueta|Etiqueta=Lògica}}{{InfoWiki}} | ||
Revisió de 13:22, 4 juny 2018
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...
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ó, és a dir, el conjunt d'enunciats en llenguatge ordinari.