Mavzu: formulalar. ASOSIY TENG KUCHLI formulalar. Mulohazalar algebrasining funksiyalari

Isbot. 1. A Þ ( V Þ A ).

2. ℛ Þ ( V Þ ℛ ).

3. V Þ ℛ .

4. ℑ Þ ℛ.

Bu ketma - ketlik teoremaning formal isbotidir. Haqiqatdan ham, 1 - formula I₁ aksioma. 2 - formula 1 -formuladan A ni ℛ bilan almashtirish natijasida hosil qilingan. 3 - formula 2 - formuladan MR qoida yordamida hosil qilingan. 4 - formula esa 3 - formulada V ni ℑ formula bilan almshtirish natijasida hosil qilingan.

II.2.7 - teorema. ⊢ ℱ Þ ù ù ℑ.

Isbot. 1. ( A Þ V ) Þ ( ù V Þ ù A ).

2. ( ù A Þ V ) Þ ( ù V Þ ù ù A ).

3. ( ù A Þ ℛ ) Þ ( ù ℛ Þ ù ù A ).

4. ù ℛ Þ ù ù A.

1. ℱ Þ ù ù A .

   
   

2. ℱ Þ ù ù
   

Foydalanilgan adabiyotlar.

1 Ziyo.net

2. E uler L. (Leonb Kulero) Solvtio problcmatis ad geometriam sitvs perlinentis. Comment Acadcmiae Sci I. Petropolitanue. 8, 1736. p. 128-140.

2. Soleev Л. Ordering in Complicated Problems. In 14-th British Combinatorical

Conference. Keele, GB. July, 1993. Abstracts, p. 96-98. 3. T o 'rayev H.T.. A zizov I., Otaqulov S. Kombinatorika va grallar nazariyasi:

Uslubiy qollam na. Samarqand: SamDlJ nashri. 2006. 263 bet.

4. Алексеев В.Б.. Кудрявцев В.К.. О ш ож енко А.Д., Яблонский С.В. и др.

М етодическая разработка по курсу “М атеча гичеекая .кийка и дискретная

математика”. 1980.

5. Воробьев Н. Н. Числа Фибоначчи. М.. «Наука», 1969.

6. Гаврилов М .Д., Д евятков В.В.. 11\ пыреи К.И. Логическое проектирование

дискретных автоматов. М.. «Наука». 1977.

7. Гинликин С’.Г. Алгебра .ни ики в !адача\. М., «Наука», 1972.

8. Гильберт Д., Бернайс II. Основания ча тематики. Логические исчисления и

форчалш ация арифметики. VI., «Наука», 1979.

9. Горбатов В.А.

а) Семантическая теория проскл ировання автоматов. М.. «Энергия». 1979.

б) Основы дискретной математики М.. «Высшая школа». 1986.

10. Горбатов В.Д., Павлов II.Г., Ч еш ериков В.II. Логическое управление

информационными процессами. М . «’)нер| оа томи ц ат ». 1984.