Mulohaza va mantiqiy bog‘lovchilar

Sheffer amali yoki Sheffer shtrixi

1 2 3 4 5

Bog'liq
3-amaliy

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

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

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.

Do'stlaringiz bilan baham:

1 2 3 4 5