Ana səhifə
Təsadüfi
Yaxınlıqdakılar
Daxil ol
Nizamlamalar
Maddi kömək
Vikipediya haqqında
Məsuliyyətdən imtina
Axtar
Şablon
:
Məntiq
Dil
İzlə
Redaktə
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
,
¬
,
∧
,
∨
,
0
,
1
}
{\displaystyle \{B,\neg ,\land ,\lor ,0,1\}}
В
—
boş çoxluq
, elementləri üzərində üç əsas əməliyyat müəyyən edilmişdir:
konyuksiya
(
∧
{\displaystyle \land }
və ya &,
binar
)
dizyunksiya
(
∨
{\displaystyle \lor }
,
binar
)
inkar
(
¬
{\displaystyle \neg }
,
унарная
)
2
konstantlar
0
1
Həmçinin bax
Eyler diaqramı
/
Venn diaqramı
Çoxluqlar nəzəriyyəsi