Accions

Fórmula vàlida

De Wikisofia

La revisió el 01:01, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} O fórmula universalment vàlida. En lògica d'enunciats, aquella que és veritable per qualsevol as...».)
(dif.) ← Versió més antiga | Versió actual (dif.) | Versió més nova → (dif.)

O fórmula universalment vàlida. En lògica d'enunciats, aquella que és veritable per qualsevol assignació de valor de veritat als seus lletres d'enunciat; una fórmula universalment vàlida és també una tautologia, doncs el seu valor en una taula de veritat és sempre veritable, però, en ocasions, es diu preferentment «vàlida» a una fórmula i «tautologia» a un enunciat.

Veure exemple ↓
[math]\displaystyle{ [(p \rightarrow{q})\wedge p]\rightarrow{q} }[/math]

és una fórmula universalment vàlida:

Fitxer:I1630-1.gif

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ó

En lògica de predicats, és universalment vàlida aquella fórmula que no pot ser falsa; però no tota fórmula vàlida és una tautologia.

Veure exemple ↓

D'un enunciat com [math]\displaystyle{ \forall{x} Px }[/math] pot deduir-se [math]\displaystyle{ \exists{x} Px }[/math], i aquesta deducció pot fer-se sense premisses. Per tant, és possible escriure [math]\displaystyle{ \vdash \forall{x} Px \rightarrow{\exists{x} Px} }[/math] i, pel mateix, suposar que [math]\displaystyle{ \models \forall{x} Px \rightarrow{\exists{x} Px} }[/math].

Però aquesta última fórmula, encara que necessàriament veritable, no és una tautologia. La seva veritat es demostra només com a conclusió d'una demostració o derivació.

Recurs:Exemple de fórmula vàlida no tautológica