Fórmula
De Wikisofia
La revisió el 14:10, 14 abr 2015 per Jorcor (discussió | contribucions) (Text de reemplaçament - "sintaxis" a "sintaxi")
La revisió el 14:10, 14 abr 2015 per Jorcor (discussió | contribucions) (Text de reemplaçament - "sintaxis" a "sintaxi")
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.