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:
Keltirib chiqarish qoidasi.
Nazariyada isbotlash tushunchasi.
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)
Do'stlaringiz bilan baham: |