Mulohaza va mantiqiy bog‘lovchilar

6. Sheffer amali yoki Sheffer shtrixi. Bu amal / chiziq bilan
ifodalanadi va x / u qilib belgilanadi hamda bu mulohaza “x sheffer 


shtrixi y” deb o’qiladi. Bu amalni quyidagicha ta’riflash mumkin:
Faqat x va y mulohazalar chin bo’lgandagina x / y murakkab 


mulohaza yolg’ondir.
Buni chinlik jadvali asosida quyidagicha ifodalash mumkin:

X

Y
x / y

Yo

Yo
Ch

Yo

Ch
Ch

Ch

Yo
Ch

Ch

Ch
Yo
Asosiy chinlik jadvallari. Biz yuqorida keltirgan 6 ta chinlik jadvalini
umumlashtirib, shularga mos ravishda inkor qilish, konyunksiya, 
dizyunksiya, implikatsiya, ekvivalentlik, shiffer amalidagi asosiy chinlik
jadvallari quyidagicha yaxlitlikka ega bo’ladi:
X
Y

X  y

X  y

Xy

xy

x / y

Ch

Ch
Ch

Ch

Ch
Ch

Yo

Ch
Yo

Yo

Ch
Yo

Yo

Ch

---

---

Yo
Ch

Yo

Ch
Ch

Yo

Ch
Yo

Yo

Yo
Yo

Ch

Ch
Ch

Nazorat savollari:

1. Mulohazalar algebrasi haqida tushuncha.

2. Gap mulohazalar algebrasining asosiy tekshirish ob’ekti sifatida.
3. Mantiqiy amallar va ularning turlarini izohlang:

a) inkor amali va uning chinlik jadvalini izohlang;

b) kon’yunksiya amali va uning chinlik jadvalini izohlang;

d) diz’yunksiya yoki mantiqiy yig’indi amali va uning chinlik 

jadvalini izohlang;
e) implikasiya amali va uning chinlik jadvalini izohlang;

f) ekvivalentlik (teng kuchlilik) amali va uning chinlik jadvalini 

izohlang;
g) sheffer amali yoki Sheffer shtrixi va uning chinlik jadvalini 

izohlang.

4. Asosiy chinlik jadvallari haqida umumiy ma’lumot bering.

http://fayllar.org