Diferència entre revisions de la pàgina «Fórmula»
De Wikisofia
m (Text de reemplaçament - "sintaxis" a "sintaxi") |
m (bot: -veure exemple +veg. exemple) |
||
| (Una revisió intermèdia per un altre usuari que no es mostra) | |||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
| − | Seqüència de [[signe|signes]] i símbols lògics construïda d'acord amb les regles [[sintaxi|sintàctiques]] d'un [[llenguatge formal|llenguatge formal]] («fórmula | + | Seqüència de [[signe|signes]] i símbols lògics construïda d'acord amb les regles [[sintaxi|sintàctiques]] d'un [[llenguatge formal|llenguatge formal]] («fórmula ben formada»). La millor [[definició|definició]] de fórmula és la ''recursiva'' ([[Recurs:Text de Suppes: exemple de definició recursiva|veg. exemple]]). Es divideixen en [[fórmula atòmica|fórmules atòmiques]] o simples, i [[fórmula molecular|moleculars]] o compostes; en [[fórmula oberta|obertes]] i [[fórmula tancada|tancades]], També en [[fórmula vàlida|fórmules vàlides]], [[fórmula consistent|consistents]] i [[fórmula universalment vàlida|universalment vàlides]], i unes respecte d'unes altres poden ser, o no, [[equivalència (lògica)|equivalents]]. |
{{Etiqueta|Etiqueta=Lògica}}{{InfoWiki}} | {{Etiqueta|Etiqueta=Lògica}}{{InfoWiki}} | ||
Revisió de 11:55, 22 ago 2017
Seqüència de signes i símbols lògics construïda d'acord amb les regles sintàctiques d'un llenguatge formal («fórmula ben formada»). La millor definició de fórmula és la recursiva (veg. exemple). Es divideixen en fórmules atòmiques o simples, i moleculars o compostes; en obertes i tancades, També en fórmules vàlides, consistents i universalment vàlides, i unes respecte d'unes altres poden ser, o no, equivalents.