Matematik mantik yelementlari rejasida propozitsiyalar, mantiqiy bog'lovchilar, implikatsiya, ekvivalentlik kabi mavzular bayon qilinadi