Diferència entre revisions de la pàgina «Propietat commutativa»

m
Substitueix la sintaxi de matemàtiques obsoletes d'acord amb mw:Extension:Math/Roadmap
m (Afegida la plantilla {{Autoritat}} a l'article)
m (Substitueix la sintaxi de matemàtiques obsoletes d'acord amb mw:Extension:Math/Roadmap)
==== Regla de substitució ====
En lògica proposicional, la commutació es troba en algunes regles de substitució:
:<math>(P \orlor Q) \Leftrightarrow (Q \orlor P)</math>
i
:<math>(P \andland Q) \Leftrightarrow (Q \andland P)</math>,
on "<math>\Leftrightarrow</math>" és un [[símbol]] [[metalògica|metalògic]] que significa "en una demostració formal, s'hi pot substituir".
 
 
'''Commutativitat de la conjunció'''
:<math>(P \andland Q) \leftrightarrow (Q \andland P)</math>
'''Commutativitat de la disjunció'''
:<math>(P \orlor Q) \leftrightarrow (Q \orlor P)</math>
'''Commutativitat de la implicació''' (també anomenada llei de la permutació)
:<math>(P \to (Q \to R)) \leftrightarrow (Q \to (P \to R))</math>
160

modificacions