Gw mau tau and dari Sifat komutatif

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.