Diferència entre revisions de la pàgina «Assignació»
De Wikisofia
m (Text de reemplaçament - "lletres de" a "lletres d'") |
m (Text de reemplaçament - "File:i" a "File:e") |
||
| Línia 11: | Línia 11: | ||
és una ''fórmula'' universalment vàlida: | és una ''fórmula'' universalment vàlida: | ||
| − | [[File: | + | [[File:e1630-1.gif]] |
mentre que «ser o no ser» és un ''enunciat ''tautològic, o una tautologia. | mentre que «ser o no ser» és un ''enunciat ''tautològic, o una tautologia. | ||
| Línia 28: | Línia 28: | ||
és una fórmula contradictòria | és una fórmula contradictòria | ||
| − | [[File: | + | [[File:e5010-1.gif]] |
([[Recurs:Exemple lògic de fórmula contradictòria|veure exemple]]) | ([[Recurs:Exemple lògic de fórmula contradictòria|veure exemple]]) | ||
| Línia 62: | Línia 62: | ||
| − | <center>[[File: | + | <center>[[File:e5010-3.gif]]</center> |
([[Recurs:Exemple lògic de fórmules equivalents|veure exemple]]). | ([[Recurs:Exemple lògic de fórmules equivalents|veure exemple]]). | ||
Revisió del 15:40, 25 abr 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.
