Diferencies ente revisiones de «Conmutatividá»

=== Lóxica proposicional ===

La propiedá conmutativa tamién ye aplicable a delles operaciones de la [[lóxica proposicional]]. En lóxica proposicional, la conmutación atopar en delles regles de sustitución:

y :<math>(P

ye un [[símbolu (lóxica)|símbolu]] [[metalógica|metalógico]] que significa «nuna demostración formal, puede sustituyise con...».

 

 

''Conmutatividad de la conxunción''

''Conmutatividad de la dixunción''

''Conmutatividad de la implicación'' (tamién llamada llei de la permutación)

:<math>(P \to (Q \to R)) \leftrightarrow (Q \to (P \to R))</math>

:''Traducción ya interpretación del [[papiru de Rhind]].''

 

 

=== Fontes históriques ===