Saya mau tau dan dari Sifat asosiatif

dimana "" adalah simbol metalogis mewakili "bisa menggantikan dalam sebuah bukti dengan."

Asosiatif adalah sebuah sifat dari beberapa penghubung logis. Kesetaraan logis berikut mendemonstrasikan bahwa asosiatif adalah sebuah sifat dari penghubung tertentu. Berikut ini adalah tautologi fungsional kebenaran.