Predikatlar algebrasi formulalarining normal shakllari

Download 73.18 Kb.

Bog'liq
Predikatlar algebrasi formulalarining normal shakllari

1-2ATT22 guruh talabasi Zikirova Fotima

1- t a ’ r i f . Agar predikatlar mantiqi formulasi ifodasida faqat inkor, kon’yunksiya,
diz’yunksiya ( , ,  ) amallari va kvantorli amallar ( ,  ) qatnashib, inkor amali elementar
formulalarga (predmet o‘zgaruvchilar va o‘zgaruvchi predikatlarga) tegishli bo‘lsa, bunday formula
deyarli normal shaklda deyiladi.

Download 73.18 Kb.

Do'stlaringiz bilan baham: