2.Mantiq algebrasi qoidalar
Boshqa har qanday
matematik fanlar singari, mantiqiy algebra ham aksiomalar, teoremalar va qonunlar
shaklida taqdim etilgan ma’lum qoidalar to`plamiga asoslanadi. Ushbu qoidalar ikkita mumkin bo`lgan
"1" (to`g`ri) va "0" (noto`g`ri)
mantiqiy qiymatlari, shuningdek uchta asosiy
mantiqiy amallar uchun
aniqlanadi: "INKOR", "VA" va "YoKI", buning natijasida asosiy mantiq algebrasining qoidalari asosan
shu amallar va ularning birikmalari uchun tuzilgan.
Mantiq algebrasining aksiomalari
Ma’lumki,
matematikada
aksiomalar odatda
isbot talab
qilmaydigan taxminlar deb ataladi.
1. Kon’yunktsiya aksiomalari
0
∧
0 = 0;
0
∧
1 = 0; 1
∧
0 = 0; 1
∧
1 = 1.
2.Diz’yunksiya aksiomalari
