Предикат-мәндері оған енетін айнымалы шамадан тәуелсіз болатын логикалық тұжырым,логикалық айнымалы. Предикат терістеу- Х жиынында А(х) предикаты берілген болсын.оның кері предикаты деп сол Х жиынында анықталған және берілген предикат Х жиынының жалған болатын мәндерінде ғана ақиқат болатын предикатты атайды. Оны А(х) деп белгілеп,А (х) предикаттың терістеуі деп атайды. Предикат конъюкциясы- Х жиынының А (х) және В (х) предикаттарының екекуі де ақиқат болатын А(х) * В (х) түрдегі күрделі предикатын айтады. Предикат дизъюнкциясы- Х жиынындағы А(х)*В(х) күрделі предикаты А(х) және В(х) предикаттарының дизъюнкциясы деп аталады.Ол Х жиынының А(х) және В (х) предикаттарының ең болмағанда біреуі ақиқат болатын мәндерінде ақиқат болады. 8. Пікір және предикат анықтамалары: импликация, эквиваленция
9. Теорема құрылымы және оны дәлелдеудің тәсілдері.
Теоре́ма (гр. θεώρημα — «түр, сипат, тұжырым»)[1] — ақиқаттығы дәлелдеудің нәтижесінде анықталатын математикалық тұжырым. Математиканың кез келген саласы ақиқаттығы бұрынырақ дәлелденген Теоремаларға сүйене отырып, бірінен соң бірі дәлелденетін Теоремалардан тұрады. Мұнда алғашқы сөйлемдер дәлелденбейтін аксиомалардан тұрады және бұл аксиомалар сол математика саласының логикалық негізі болып есептеледі. Теорема шарты және қорытындысы деп аталатын бөліктерден тұрады. 10. Теріс емес бүтін сандардың, натурал сан және нөл ұғымының «тең», «артық», «кем» қатынастарының теориялық жиындық мағынасы.
Сан- о баста заттарды санаудың мұқтаждығынан пайда болған негізгі математикалық ұғымдардың бірі. Ол кейін математикалық білімдердің дамуына қарай жетілдірілді. Бұл ұғым өте ерте заманда, күллі математика ғылымы сияқты адамдардың тәжірибелік қызметінің қажеттігінен келіп туды,Теріс емес бүтін сандар жиынын құрудың теориялық – жиындық тәсілі тұрғысынан натурал сан деп бос емес шектеулі бір- бірімен эквивалентті жиындар класының ортақ қасиетін айтады. Теориялық жиындық тұрғыдан алғанда сандық (мөлшерлік) натурал сан дегеніміз шектеулі тең қуатты жиындар класының ортақ қасиеті екен.Теріс емес бүтін сандар жиыны ( немесе ) дегеніміз, яғни . жиынындағы «артық», «кем», «тең» қатынастары теріс емес екі бүтін сандарды салыстырудың нәтижесін білдіреді. 11. Санау жүйелері туралы түсінік. Санаудың ондық жүйесіндегі сандардың жазылуы мен атаулары.
Санау жүйесі дегеніміз – арнайы белгілер (цифрлар) жиынтығының көмегімен сандарды атау мен белгілеу тәсілі. Қазіргі кезде пайдаланылатын санау жүйелерінің позициялық және позициялық емес болып бөлінетін екі түрі бар.
