Дискрет анал

Умумийлик ва мавжудлик квантори.

- белги умумийлик квантори дейилиб, “ҳамма” ёки “ҳарқандай” ёки “ҳар бир” деб ўқилади.
предикатга - кванторни осиш деб, мулоҳазавий формадан - мулоҳазага ўтишга айтилади. Бунинг ўқилиши: “ҳар қандай учун тасдиқ ўринлидир”.
Агар - тасдиқ ҳамма учун рост бўлса, - мулоҳаза рост бўлади.
Агар - чекли тўплам бўлса - ўринли. Чексиз тўплам учун
.
Мавжудлик квантори деб белгига айтилади. предикатга - мавжудлик кванторини осиш деб, - мулоҳазавий формадан мулоҳазага ўтишга айтилади. Бунинг маъноси: тўпламда шундай объект топиладики, унинг учун тасдиҳ ўринлидир.
- мулоҳаза рост бўлиши учун, ҳеч бўлмаса битта учун - рост бўлиши керак.
2-маъруза машғулоти

1. 
   Предикатлар ва унинг формулалари
   

m тупламда аникланган хар кандай предикат айнан рост, айнан елгон ва бажарилувчи булади.
Таъриф. Агар m тупламда аникланган Р(х) предикат тупламнинг хар бир элементи учун рост киймат кабул килса, бундай предикат m тупламда АР предикат дейилади. Агар Р(х) предикат хар кандай m тупламда АР предикат булса, бундай предикат АР предикат дейилади.
Таъриф. m тупламда аникланган Р(х) предикат m тупламнинг хар бир элементи учун елгон киймат кабул килса, бундай предикат m тупламда АЕ предикат дейилади. Агар Р(х) ихтиерий m тупламда АЕ предикат булса, бундай предикат АЕ предикат дейилади.
Таъриф. m тупламда аникланган Р(х) предикат учун m тупламда шундай хо элемент топилсаки, Р(хо)=1 булса, у холда Р(х) m тупламда бажарилувчи предикат дейилади. Агар Р(х) ихтиерий m тупламда бажарилувчи булса , у холда Р(х) бажарилувчи предикат дейилади.

2. 
   Мантиқий предикатларнинг тенг кучли формулалари.
   

Пропозиционал узгарувчилар кийматларининг ихтиерий наборида эркин предмет узгарувчилар ва узгарувчи предикатларни m тупламда ихтиерий индивидуал предметлар ва индивидуал предикатлар билан алмаштирганда бир хил киймат кабул килса, бундай формулалар m тўпламда тенг кучли дейилади ва ºÁ кўринишда белгиланади.

3.