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...».) |
(Cap diferència)
|
Revisió del 00:48, 5 feb 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.