7. Пікірталас форма Мынандай сөйлемдер берілсін:
1) ,2) ,3) ,4) т.б.
Бұл сөйлемдердің шын және жалған екендігі туралы ешене айта алмаймыз.Сондықта олар пікір юола алмайды.Бірақ сандарды қоймақ,онда бірде шын,бірде жалған болатын пікірлер аламыз.Ендеше,бұл сөйлемдерді пікірге айналдыруға болады екен.Математикада мұндай түрдегі сөйлемдерді пікірленетін формадеп атаймыз
Жалпы, берілген сөйлемдегі айнымалалылардың орнына қандай да бір нақты мәтіндерді қойғанда бірде шын,бірде жалған пікірге айналдыруға болатын сөйлемдер пікірленетін форма немесе предикат деп аталады.
Мысал, предикатындағы -тің орнына мәндерін қойсақ,онда 1>5-ж, 2>5-ж ,5>5- ж, 6>5-ш, 9>5-ш пікірлер аламыз.
Предикаттардың сөйлемдегі айнымалалылардың санына қарай бір орынды,екі орынды,үш орынды,т.с.с, деп бөлеміз.
Мысалы: бір орынды предикат
екі орынды предикат
-үш орынды предикат
Предикатты шын пікірге айналдыратын мәндер предикаттың шындық жиыны деп аталады.Айталық предикатының шындық жиыны 5-тен үлкен болатын барлық сандар болады,яғни ( ).Егер предикат теңдеу немесе теңсіздік түрінде берілсе,онда оның шындық жиынын табу үшін ебрілген теңдеуді немесе теңсіздікті шешу керек.
Мысалы, теңдеуінің шындық жиыны таюу керек болсы.Ол үшін берілген теңдеуді шешу қажет.
Сонда:
Ендеше берілген предикаттың шындық жиыны саны.
Бастауыш сыныптарда предикат ұғымы,оның шындық жиыны туралы ұғымдар бір айнамалысы бар теңдеулер иен теңіздіктерді,оларды шешу кезінде қарастырылады.