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.
Amplia
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.
Amplia
Veg. exemple ↓