Coba jelasin and dari Sifat komutatif dong

dimana "" adalah metalogika dari simbol yang menggunakan "bukti dengan formal".

Komutatifita  adalah sifat dari beberapa koneksi logika fungsi riil logika proposisional. Persamaan logika berikut menunjukkan bahwa komutativitas adalah sifat dari penghubung tertentu. Berikut ini adalah riil-fungsional tautologi.