Accions

Fórmula vàlida

De Wikisofia

O fórmula universalment vàlida. En lògica d'enunciats, aquella que és veritable per qualsevol assignació de valor de veritat a les seves 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ò, a vegades, es diu preferentment «vàlida» a una fórmula i «tautologia» a un enunciat.

Veg. exemple ↓

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.

Veg. exemple ↓