Кукон давлат педагогика институти

Таъриф:Мулохазалар алгебрасидаг F(х,х,...,х) айнан рост формула ёки тавтология дейилади.Агар ихтиёрий (А,А,...,А) танланмада бу формула хар доим рост мулохазага айланса яъни бу формулани ростлик жадвалининг охриги устунида хамма киймати 1 булсин.

Таъриф: Мулохазалар алгебрасидаги F(х,х,...,х) формула айнан ёлгон формула ёки карама-карши зиддиятли формула дейилади. Агар ихтиёрий (А,А,...,А) танланмада бу формула хар доим ёлгон мулохазага айланса яъни бу формулани ростлик жадвалининг охриги устунида хамма киймати 0 булсин.

Шундай килиб биз мулохазалар алгебрасидаги формулаларнинг турт хил типини курсатдик. Бажарилувчи, инкор килувчи, тавтология ва айнан ёлгон формулалар. Булар ичида мухимроги тавтологиядир. Одатда F формула тавтология булса, F каби белгиланади.
Назорат учун саволлар.

1. Мураккаб мулохазалар ыандай курилади?

2.Пропозиционал щзгарувчилар деганда нимани тушунасиз?

3.Мулоъазалар алгебраси формула таoрифини келтиринг?

4.Мураккаб мулоъазанинг логик ыиймати ыандай ъисобланади?

5.Формулаларнинг ростлик жадвали ыандай тузилади?

6.Бажарилувчи формула таoрифини келтиринг?

7.Айнан рост формула ёки тавтология таoрифини келтиринг?

8.Инкор ыилинувчи формула таoрифини келтиринг?

9.Айнан ёльон формула ёки ыарама-ыаршилик таoрифини келтиринг?

10. ((Р Q)Q) (Р Q) формуланинг ростлик жадвалини ыуринг ва унинг ыандай турдаги формула эканини аниыланг.