22.11.2011 
aslan
22.11.2011 aslan
a және b екі тұжырымдарының эквиваленциясы деп егер тұжырымдар бірдей ақиқат немесе жалған болса, ақиқат, ал қалған жағдайларда жалған болатын жаңа тұжырымды айтамыз.
Читать полностью »
22.11.2011 aslan
a және b тұжырымдарының дизъюнкциясы деп,егер екі тұжырымның бірі ақиқат болса, ақиқат және егер екеуі де жалған болса, жалған болатын жаңа тұжырымды айтамыз.
Читать полностью »
22.11.2011 aslan
a және b тұжырымдарының конъюнкциясы деп, егер екі тұжырым да ақиқат болғанда ақиқат және егер кем дегенде біреуі жалған болғанда жалған болатын жаңа тұжырымды айтамыз.
Читать полностью »
22.11.2011 aslan
а тұжырымының терістеуі жаңа тұжырым болып табылады, бұл тұжырым а ақиқат болғанда жалған, ал а жалған болғанда кезде, ақиқат болады.
Читать полностью »
22.11.2011 aslan
Бүкіл математикадағы сияқты, біздің курстағы әр бөлімде де бастапқы негізгі ұғымдар бар. Негізгі ұғымдар анықталмайды. Біздің әрқайсысымыздың олар туралы ішкі түсінігіміз бар деп есептеледі. Бұл ішкі түсініктерде математикалық білім саласындағы адамзаттың тарихи тәжірибесі жинақталған. Негізгі ұғымдар анықталмайды, оларға квазианықтамалар, яғни басқа анықталған ұғымдар мен объектілерге сілтеме жасайтын анықтамалар беріледі. Бірінші бөлімде мұндай негізгі анықталған ұғым тұжырымдар болып табылады.
Читать полностью »
22.11.2011 aslan
Математика барлық тұжырымдар ақыл қорытындысы арқылы, яғни адамның ойлау қабілеті заңының жолдарын қолданып, дәлелденетін ғылым болып табылады. Адамның ойлау қабілетінің заңын оқу логика пәні болып табылады.
Логика өз алдына ғылым болып грек философы Аристотельдің (384-322 ж.ж б.э.д) еңбегінде нақтыланған. Ол өзіне дейінгі мәліметтерді жүйеледі және осы жүйе кейін формальды немесе Аристотель логикасы деп аталды.
Читать полностью »
Рубрика: 
Метки: