Accions

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 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]].
+
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.