Тұжырымдарға қолданылатын логикалық амалдары көмегімен берілген тұжырымдардан күрделі тұжырымдарды құруға болады. Операциялардың орындалу реті жақшамен көрсетіледі. Мысалы, x, y, z үш тұжырымдарынан мынадай тұжырымды құруға болады:
Читать полностью»
Математика, Геометрия
Рубрика: 
Эквиваленция
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 ж.ж б.э.д) еңбегінде нақтыланған. Ол өзіне дейінгі мәліметтерді жүйеледі және осы жүйе кейін формальды немесе Аристотель логикасы деп аталды.
Читать полностью»