Intellektual tizimlar haqida umumiy ma’lumot

Bilimlarni taqdim etish modellari(mantiqiy modellar)



Hechnarsa yuq

40. 
    Mantiq algebrasi va fikrlar hisobini asosiy qonun va aksiomalari
    

BILIMLARNI TAKDIM ETISh MODELLARI
(MANtshday modellar)

1. 
   Mantik algebrasi. va fikrlar xisobini asosiy konun va
   

aksiomalari.
Mantik algebrada tugri va soxtapiligni belgilash uchun I (yoki 1), L (S yoki 0) ramzlar kirngiladi. Mantikiy boglamapar «Ili/Yoki»- v (diz’yunksiya); «I/VA» - (kon’yunksiya); «Implikatsiya (—»); «ekvivalent­nost (—); «Ne/Inkor»- « - «[»_!»] rmzlar bilan belgilanadi. Bu ramzlar mantik algebra funksiyapar sinfini tashkil etadi.

1. 
   X (X emas) X inkori. U“x soxta (0ga teng) ligi X tugri (1ga teng)ligida buladi va aksincha” fikrni ifodalaydi.
   
2. 
   XtA Xg /X 1*Xg (Xi va Xg) - kon’yunksiya.
   

U “Bu funksiya tugri bulishi fakat X] va Xg tutriligida buladi” fikrni ifodalaydi..

3. 
   X1VX2 (Xi yoki Xg) — diz’yunksiya. U “Bu funksiya tugri bulishi yoki X| yoki Xg tutriligida buladi” fikrni ifodalaydi.
   
4. 
   Xi—> Xg - implikatsiya (agar Xi u xolda Xg yoki Xi dan Xg kelib chikadi). U “Bu funksiya fakat Xi tugri Xg esa soxta bulganda soxta buladi ” fikrni ifodalaydi.
   

X1SX2 (X|~Xg) - ekvivalensiya (Xi kiymati/ma’nosi/axamiyati Xggateng; Xi bulishi agar va fakat Xg bulishida mumkin). U “Bu funksiya fakat Xi va Xg ikkalasi yoki tugri yoki soxta bulganida tugri buladi

41.