Home
Blog
About Us
Contact
French
Deutsch
English
...
Home
Blog
About Us
Contact
Ş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
,
¬
,
∧
,
∨
,
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