Accions

Diferència entre revisions de la pàgina «Assignació»

De Wikisofia

m (Text de reemplaçament - "File:i" a "File:e")
m (Text de reemplaçament - "[[Image:I" a "[[Image:e")
Línia 43: Línia 43:
 
<center>és una fórmula consistent</center>
 
<center>és una fórmula consistent</center>
  
<center>[[Image:I5010-2.png|400px]]</center>
+
<center>[[Image:e5010-2.png|400px]]</center>
  
 
([[Recurs:Exemple lògic de fórmula consistent|veure exemple]]).
 
([[Recurs:Exemple lògic de fórmula consistent|veure exemple]]).

Revisió del 16:10, 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ó.

veure exemple ↓

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

és una fórmula universalment vàlida:

E1630-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ó

contradictòria, si és falsa per a tota assignació


veure exemple ↓

[math]\displaystyle{ [(p \wedge q) \wedge (¬p \wedge ¬q)] }[/math]

és una fórmula contradictòria

E5010-1.gif

(veure exemple)

i consistent, si és veritable almenys per a una assignació.


veure exemple ↓
[math]\displaystyle{ [(p \wedge q) \vee (¬p\wedge q)] }[/math]
és una fórmula consistent
E5010-2.png

(veure exemple).

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.


veure exemple ↓
[math]\displaystyle{ (¬p \wedge ¬q) }[/math] i [math]\displaystyle{ ¬(p \vee q) }[/math]


són fórmules equivalents:


E5010-3.gif

(veure exemple).