Diferència entre revisions de la pàgina «Fórmula universalment vàlida»
De Wikisofia
m (Text de reemplaçament - "lletres de" a "lletres d'") |
|||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
| − | O simplement fórmula vàlida, o també [[veritat lògica|veritat lògica]], [[teorema lògic|teorema lògic]] o [[tautologia|tautologia]], o també fórmula «lògicament veritable» o «formalment veritable»: fórmula veritable per raó de la seva [[forma lògica|forma]]. | + | O simplement fórmula vàlida, o també [[veritat lògica|veritat lògica]], [[teorema lògic|teorema lògic]] o [[tautologia|tautologia]], o també fórmula «lògicament veritable» o «formalment veritable»: fórmula veritable per raó de la seva [[forma lògica|forma]]. Abreviadament, <math>\models B</math> |
En [[lògica|lògica de predicats]], on no sempre una fórmula vàlida és una tautologia, una fórmula és universalment vàlida si no pot ser falsa: i ho és si i només si és veritable per tota [[interpretació|interpretació]] (en un [[domini|domini]] no buit). En [[lògica|lògica d'enunciats]], la [[lògica|taula de veritat]] d'una fórmula universalment vàlida dóna només valors veritables, ja que és veritable per tota [[assignació|assignació]] de valors a les seves [[enunciat, lletres d'|lletres d'enunciat]] | En [[lògica|lògica de predicats]], on no sempre una fórmula vàlida és una tautologia, una fórmula és universalment vàlida si no pot ser falsa: i ho és si i només si és veritable per tota [[interpretació|interpretació]] (en un [[domini|domini]] no buit). En [[lògica|lògica d'enunciats]], la [[lògica|taula de veritat]] d'una fórmula universalment vàlida dóna només valors veritables, ja que és veritable per tota [[assignació|assignació]] de valors a les seves [[enunciat, lletres d'|lletres d'enunciat]] | ||
Revisió del 14:07, 5 abr 2015
O simplement fórmula vàlida, o també veritat lògica, teorema lògic o tautologia, o també fórmula «lògicament veritable» o «formalment veritable»: fórmula veritable per raó de la seva forma. Abreviadament, [math]\displaystyle{ \models B }[/math]
En lògica de predicats, on no sempre una fórmula vàlida és una tautologia, una fórmula és universalment vàlida si no pot ser falsa: i ho és si i només si és veritable per tota interpretació (en un domini no buit). En lògica d'enunciats, la taula de veritat d'una fórmula universalment vàlida dóna només valors veritables, ja que és veritable per tota assignació de valors a les seves lletres d'enunciat
és una fórmula universalment vàlida:
mentre que «ser o no ser» és un enunciat tautològic, o una tautologia.
Recurs:Exemple de fórmula universalment vàlida per a tota assignació