Matematika fanining mantiqiy qurilishi

Konyuksiya amali
Ta’rif: va mulohazalarning konyuksiyasi deb va mulohazalar rost bo’lganda rost, boshqa hollarda yolg’on bo’lgan yangi mulohazaga aytiladi va uni ko’rinishda belgilanadi.
Konyuksiya amaliga “va” bog’lovchisi mos keladi.
Masalan, : “5-tub son”,
: “5-toq son”,
: “5-tub va toq son”.
Konyuksiya amaliga quyidagi rostlik jadvali mos keladi:

1	1	1
1	0	0
0	1	0
0	0	0

Mulohazalarning konyuksiyasi ikkitadan ortiq mulohazalar uchun ham o’rinli bo’ladi. mulohazalarning barchasi rost bo’lsa, u holda yolg’on bo’ladi.

Dizyunksiya amali
Ta’rif: va mulohazalarning dizyunksiyasi deb va mulohazalarning kamida bittasi rost bo’lganda rost, boshqa hollarda yolg’on bo’lgan yangi mulohazaga aytiladi va u orqali belgilanadi.
Dizyunksiya amaliga “yoki” bog’lovchisi mos keladi.
Masalan, : “3<4” - rost,
: “3=4” - yolg’on,
: “ ” - rost.
Dizyunksiya amaliga quyidagi rostlik jadvali mos keladi:

1	1	1
1	0	1
0	1	1
0	0	0

Mulohazalarning dizyunksiyasi ikkitadan ham ortiq mulohazalar uchun ham o’rinli bo’ladi. mulohazalarning dizyunksiyasi orqali belgilaylik. larning kamida bittasi rost bo’lsa, rost, larning barchasi yolg’on bo’lsa yolg’on bo’ladi.