Fórmula
De Wikisofia
La revisió el 00:48, 5 feb 2015 per Sofibot (discussió | contribucions) (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...».)
La revisió el 00:48, 5 feb 2015 per Sofibot (discussió | contribucions) (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...».)
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.