предикатлар хисоби. хосилавий келтириб чиқариш қоидалари

1662975875.doc предикатлар хисоби. хосилавий келтириб чиқариш қоидалари режа: 1. предикатлар ҳисоби. 2. аксиомалар. 3. келтириб чиқариш қоидалари. 4. ҳосилавий келтириб чиқариш қоидалари. предикатлар ҳисоби формал аксиоматик назария бўлиб, ҳар қандай аксиоматик назария каби ўзининг тили, аксиомалар системаси,келтириб чиқариш қоидаларига эга. предикатлар ҳисобининг тили – ўзгарувчи жумлалар (0 ўринли предикатлар ), предмет ўзгарувчилар, ўзгарувчан предикат белгилар, мантиқий амаллар, кванторлар, қавслар ва улардан тузилган формулалардан иборат. предикатлар ҳисобининг аксиомалари сифатида жумлалар ҳисобининг барча аксиомалари ва яна ушбу аксиомаларни қабул қиламиз : y1. (xp(x) ( p(y), y2. p(y) ( (xp(x). келтириб чиқариш қоидалари : 1. мр-қоида: ℑ , ℑ ( ℬ ℬ (ҳулоса чиқариш қоидаси). 2. умумий...

DOC format, 34.0 KB. To download "предикатлар хисоби. хосилавий келтириб чиқариш қоидалари", click the Telegram button on the left.