Saya mau tau Logika proposisional dari Sifat asosiatif

Dalam logika proposisional kebenaran fungsional standar, asosiasi, atau asosiatif adalah dua aturan penggantian yang sah. Peraturannya memungkinkan salah satunya untuk memindahkan tanda kurung dalam ekspresi logis dalam bukti logis. Aturan (menggunakan notasi penghubung logis adalahː