Şablon:Məntiq — Vikipediya

Məntiq
Formal	Anlayışlarla məntiqi əməliyyatlar Konsepsiyada dəyişiklik inkar məhdudiyyət ümumiləşdirmə bölgü Konsepsiya həcminin dəyişməsi üstəgəlmə vurma çıxma Növlər Многозначная логика Bul cəbri Məntiqi konstanta Qanunlar Konsepsiyanın məzmunu və əhatə dairəsi arasındakı tərs əlaqənin qanunu
Riyazi (nəzəri, simvolik)	İfadələr üzərində məntiqi bağlayıcılar (əməliyyatlar) Bəyanat — çoxluq nəzəriyyəsi $\{B,\neg ,\land ,\lor ,0,1\}$ В — boş çoxluq, elementləri üzərində üç əsas əməliyyat müəyyən edilmişdir: konyuksiya ( $\land$ və ya &, binar) dizyunksiya ( $\lor$ , binar) inkar ( $\neg$ , унарная) 2 konstantlar 0 1
Həmçinin bax	Eyler diaqramı/Venn diaqramı Çoxluqlar nəzəriyyəsi