Diferència entre revisions de la pàgina «Assignació»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} Valors que es donen a les lletres d'enunciat d'una fórmula de manera que aquesta és: '''universalment validesa|''vàl...».) |
m (Text de reemplaçament - "lletres de" a "lletres d'") |
||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
| − | Valors que es donen a les [[enunciat, lletres | + | Valors que es donen a les [[enunciat, lletres d'|lletres d'enunciat]] d'una fórmula de manera que aquesta és: |
'''universalment [[validesa|''vàlida'']]''' si és veritable per a tota assignació. | '''universalment [[validesa|''vàlida'']]''' si és veritable per a tota assignació. | ||
Revisió del 23:10, 20 març 2015
Valors que es donen a les lletres d'enunciat d'una fórmula de manera que aquesta és:
universalment vàlida si és veritable per a tota assignació.
[math]\displaystyle{ [(p \rightarrow{q})\wedge p]\rightarrow{q} }[/math]
é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ó
contradictòria, si és falsa per a tota assignació
[math]\displaystyle{ [(p \wedge q) \wedge (¬p \wedge ¬q)] }[/math]
és una fórmula contradictòria
i consistent, si és veritable almenys per a una assignació.
Es dedueix que tota fórmula vàlida és, a més, consistent, però no al revés.
Dues fórmules són equivalents, si cobren igual valor per a idèntiques assignacions o reben els mateixos valors en una taula de veritat.
