Diferència entre revisions de la pàgina «Fórmula»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} Seqüència de signes i símbols lògics construïda d'acord amb les regles sintàctiques d'un llenguatge formal|llenguatg...».) |
m (Text de reemplaçament - "sintaxis" a "sintaxi") |
||
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 [[ | + | 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 bé formada»). La millor [[definició|definició]] de fórmula és la ''recursiva'' ([[Recurs:Text de Suppes: exemple de definició recursiva|veure 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ó del 14:10, 14 abr 2015
Seqüència de signes i símbols lògics construïda d'acord amb les regles sintàctiques d'un llenguatge formal («fórmula bé formada»). La millor definició de fórmula és la recursiva (veure 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.