3-мавзу. Мантиқий боғловчилар. (2 соат) Режа: Мулоҳаза тушунчаси

6. Шеффер амали (штрихи). Ниҳоят, яна бир мантиқий амални келтирамиз. У Шеффер амали ёки Шеффер штрихи дейилади ва у “  “ каби белгиланади. Мураккаб мулоҳаза “ ” “ Шеффер штрихи ” деб ўқилади. Бу амал қуйидагича таърифланади:
7-таъриф. Фақат ва мулоҳазалар чин бўлгандагина, мулоҳаза ёлғондир.
Бу таърифни қуйидаги чинлик жадвали ёрдамида ифодаласа ҳам бўлади:

ё	ё	Ч
ё	ч	Ч
ч	ё	Ч
ч	ч	Ё

Асосий чинлик жадваллари. Юқорида келтирилган чинлик жадваллари, мос равишда, инкор қилиш, конъюнкция, дизъюнкция, импликация, эквивалентлик ва Шеффер амалларининг асосий чинлик жадваллари деб айтилади:

ч	ч	ч	ч	ч	ч	Ё
ч	ё	ё	ч	ё	ё	Ч
ё	ч	ё	ч	ч	ё	Ч
ё	ё	ё	ё	ч	ч	Ч

ч ё
ё ч
Асосий дарслик ва қўлланмалар.
1. E.Mendelson Introduction to mathematical logic, fifthe edition, by Taylor & Francis Group, LLC, 2010
2. Kenneth H. Rosen, Discrete mathematics and its applications, 7- edition, The McGraw-Hill Companies, 2012
3. Ершов Ю. Л., Палютин Е. А. Математическая логика. М.: Наука, 1987.
4. Kasimov N.Kh., Dadajonov R.N., Ibragimov F.N. Diskret matematika va matematik mantiq asoslari (o’quv qullanma), Тoshkent, 2016.
5. YUnusov A.S. Matematik mantiq va algoritmlar nazariyasi elementlari, T., 2008.
6. Lavrov I. A., Maksimova L. L. Zadachi po teorii mnojestv, matematicheskoy logike i teorii algoritmov. M.: Fiz.-mat. literatura, 1995
Мустақилишлашучунсаволлар:
1. Прис стрелкаси.
2. Шеффер штрихи.