

Notação Formal 

Comutatividade da conjunção pode ser expressa pela seguinte notação:

  e 

Onde  simboliza que  é uma consequência lógica de , no primeiro caso, e  é consequência lógica  no outro, em um sistema formal.