1. Mantiqiy funktsiyalar Mantiq algebrasi qoidalar


Mantiq algebrasi qoidalar



Yüklə 28,47 Kb.
Pdf görüntüsü
səhifə3/3
tarix07.01.2024
ölçüsü28,47 Kb.
#208511
1   2   3
4-ma\'ruza

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; 


1 = 0; 1 

0 = 0; 1 

1 = 1. 
2.Diz’yunksiya aksiomalari 




0 = 0; 


1 = 1; 1 

0 = 1; 1 

1 = 1. 
3. Inkor aksiomalari agar x = 0 bo`lsa, u holda x = 1; agar x = 1 bo`lsa, x = 0. 





Yüklə 28,47 Kb.

Dostları ilə paylaş:
1   2   3




Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©azkurs.org 2024
rəhbərliyinə müraciət

gir | qeydiyyatdan keç
    Ana səhifə


yükləyin