Mostra la font per a Fórmula universalment vàlida

{{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]]. Abreviadamente, <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 de|lletres d'enunciat]]

<div class='mw-collapsible mw-collapsed'>
<center>'''veure exemple ↓'''</center>
<div class="mw-collapsible-content">
<center><math>[(p \rightarrow{q})\wedge p]\rightarrow{q}</math>

és una ''fórmula'' universalment vàlida:

[[File:i1630-1.gif]]

mentre que «ser o no ser» és un ''enunciat ''tautològic, o una tautologia.</center>

[[Recurs:Exemple de fórmula universalment vàlida per a tota assignació]]
</div></div>


{{Etiqueta
|Etiqueta=Lògica
}}
{{InfoWiki}}