Mustaqil ishi mavzu: Keltirib chiqarish, Isbot tushunchalari

O’zbekiston Respublikasi Oliy va O’rta maxsus talim vazirligiga qarashli Farg’ona Davlat Universiteti Fizika-Matematika fakulteti Matematika o’qitish metodikasi yo’nalishi 17.03 guruh talabasi

Akbarova Parizodaning

“Algebra va sonlar nazariyasi” fanidan

MUSTAQIL ISHI

MAVZU: Keltirib chiqarish, Isbot tushunchalari.

BAJARDI: Akbarova P

QABUL QILDI: Nabijonova F

Farg’ona-2020

Reja:

1. 
   Keltirib chiqarish qoidasi.
   
2. 
   Nazariyada isbotlash tushunchasi.
   
3. 
   Teoremalarni isbotlash.
   

Keltirib chiqarish qoidasi.

Birinchi tartibli nazariya aksiomalari ikki sinfga: mantiqiy va xos aksiomalarga bo'linadi.

Mantiqiy aksiomalar: A,В va С lar T nazariyaning qanday formulalari bo'lishidan qat’i nazar quyidagi formulalar T ning mantiqiy aksiomalari bo'ladi:

1) A -> ( B -> A ) ; (1)

2) ( A -> ( B -> C ) ) -> ( ( A -> B ) -> ( A -> C ) ) ; (2)

3) () -> () В ); (3)