Предикат тушунчаси

9.2. Предикатлар устида мантикий амаллар
Предикатлар хам мулохазалар сингари факатгина чин ва ёлгон (1,0) киймат кабул килганликлари туфайли улар устида мулохазалар мантикидаги хамма мантикий амалларни бажариш мумкин.
Бир жойли предикатлар мисолида мулохазалар мантикидаги мантикий амалларнинг предикатларга татбик этилишини курайлик.
 тупламда  ва  предикатлар аникланган булсин.
4-таъриф. Берилган  тупламда аникланган  ва  предикатларнинг конъюнкцияси деб, факат ва факат  нинг кийматларида  ва лар бир вактда чин киймат кабул килгандагина чин киймат кабул килиб, колган барча холларда ёлгон киймат кабул килувчи янги предикатга айтилади ва у  каби белгиланади.
 предикатнинг чинлик сохаси  тупламдан, яъни  ва  предикатлар чинлик сохаларининг умумий кисмидан иборат булади.
Масалан, : « - жуфт сон» ва : « - ток сон» предикатлар учун « -жуфт сон ва -ток сон»: предикатлар конъюнкцияси мос келади ва унинг чинлик сохаси  - буш тупламдан иборат булади.
5-таъриф. Берилган  тупламда аникланган  ва  предикатларнинг дизъюнкцияси деб, факат ва факатгина  нинг кийматларида аникланган  ва предикатлар ёлгон киймат кабул килганда ёлгон киймат кабул килиб, колган барча холларда чин киймат кабул килувчи янги предикатга айтилади ва у каби белгиланади.
 предикатнинг чинлик сохаси  тупламдан иборат булади.
6-таъриф. Агар хамма  кийматларда  предикат чин киймат кабул килганда ёлгон киймат ва  нинг барча кийматларида  предикат ёлгон киймат кабул килганда чин киймат кабул килувчи предикатга  предикатнинг инкори деб айтилади ва у  каби белгиланади.
Бу таърифдан  келиб чикади.
7-таъриф. Факат ва факатгина  лар учун бир вактда  чин киймат ва  ёлгон киймат кабул килганда ёлгон киймат кабул килиб, колган хамма холларда чин киймат кабул киладиган  предикатга  ва  предикатларнинг импликацияси деб айтилади.
Хар бир тайинланган  учун

тенгкучлилик тугри булганлигидан  уринлидир.