Jabarkan Logika proposisional dari Sifat komutatif

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: