Coba jelasin Logika proposisional dari Sifat komutatif dong

Dalam logika proposisional riil-fungsional, pergantian, atau komutatif mengacu pada dua valid kaidah penggantian. Kaidah memungkinkan untuk mengubah urutan variabel proposisional dalam ekspresi logika dalam bukti logis. Rumusnya adalah: