2-mavzu.
Qo`shma formulalar. Ikkilik qonuni.
Reja
Murakkab mulohazalarni qurish
Mulohazalar algebrasida formula tushunchasi.
Murakkab mulohazaning logik qiymati.
Formulalarning rostlik jadvalini qurish.
Mulohazalar algebrasi formulalarining klassifikatsiyasi.
Tayanch iboralar:
Murakkab muloxaza, muloxaza qurish sxemasi, oPzgaruvchi, propozitsional oPzgaruvchi, formula, formulani logik qiymati, formulaning rostlik jadvali, bajariluvchi, inkor qilinuvchi, aynan rost, tavtologiya, aynan yolgPon, qarama-qarshilik.
Yukorida kiritilgani logik amallar yordamida sodda yoki elementar muloxazalardan ulardan kura murakkab bulgan muloxazalarni xosil kilishimiz mumkin.
Misol: A ,A ,A lardan kuydagi muloxazalar xosil kilamiz.
«Agar Amudaryo Fargona buyida joylashgan va inson umri abadiy bulmasa ,u xolda A.S.Pushkin buyuk rus matematigi »
(A A )A buning logik kiymati (( A A )A ) = (A A ) (A )= (A A ) (A )= (A ) (A ) (A )==(01)0=00=1
Demak bu kabi tuzilgan muloxazalarning umumiy kurinishi (xu)z buladi.Bu yerda x,u,z kandaydir belgilar.Endi bu sxamada x,u,z belgilar urniga kandaydir boshka muloxazalarni kuysak boshka bir muloxazalar xosil buladi .
Masalan : A , A , A
( ) ( ) ( )=(11)0=0
Bu misollardan koPrinadiki (xu)z sxema muloxazalar algebrasida uziga xos formula vazifasini bajaradi va bu yerda x,y,z belgilar (uzgaruvchilar) urniga konkret bulgan ixtiyoriy muloxazani kuyib, natijada yangi muloxaza xosil kilar ekanmiz
MULOHAZALAR ALGEBRASIDAGI TAVTOLOGIYaLAR.
Yuqoridagi mavzuda aniqlangan aynan rost formulalar yoki tavtologiyalar tarkibiga kiruvchi muloxazalarning mazmunidan va logik qiymatidan qatiy nazar rost muloxazalar qurish qonun qoidalarini koPrsatib beradi.Quyida biz muloxazalar algebrasining asosiy tavtalogiyalari bilan tanishamiz.
3.1 Asosiy tavtologiyalar.
a) P P b) (P P) v) PP g) PP
d) (PQ) ( Q P) ye) ((PQ) (QR)) (PR)
j) (PQ) ( P Q) z) P (QP)
i) P(PQ k) (P(PQ)) Q
l) ((PQ Q) P m) (P(QR)) (Q(PR))
n) (P(QR)) ((PQ) R)
o) ((PR) (QR))((PQ)R)
p) (( PQ) ( P Q))P , ( P(Q Q)) P
Kuyida keltiriladigan tavtologiyalar logik amallarning xossalarini xam kursatib beradi.
3.2 Konoyunktsiya va dizoyunktsiya xossalari .
a) (PP) P , (PP) P b) (PQ) P , P(PQ)
v) (PQ) (QP) , (PQ) (QP)
g) (P(QR)) ((PQ)R) , (P(QR)) ((PQ)R)
d) P(QR)) ((PQ) (PR)) , P(QR)) ((PQ) (PR))
e) (P(PQ)) P , (P(PQ)) P
j) (PQ)( P Q) , (PQ)( P Q)
3.3 Implikatsiya va ekvivalentlik xossalari .
a) (P(QR))((PQ)(PR))
b) P(Q(PQ))
v) (PR) ((QR) ((PQ)R))
g) (PQ) ((P Q)R))
d) ( Q(PQ)) P
e) ( P(PQ))Q
j) (PQ)((PR)(QR))
z) (PQ) (PR)(QR))
i) (PQ) ((QR) PR))
k) (PQ) (QP)
l) ( Q P) (( QP)Q))
m) ((PQ) (RQ)) ((PR)Q)
n) ((PQ) (PR)) (P(QR))
o) PP
p) (PQ) (QP)
r) ((PQ) (QR)) (PR)
3.4 Bir logik amallarni boshka logik amallar orkali ifodalash.
a)(PQ)( PQ)
b) (PQ) (P Q)
v) (PQ)( PQ)
g) (PQ)(P Q)
d) (PQ)( P Q)
e) (PQ)( PQ) j) (PQ)((PQ)(QP))
Do'stlaringiz bilan baham: |