|
Таъриф: Урнига конкрет мулохазаларни куйиш мумкин булган узгарувчиларни пропозиционал узгарувчилар деб аталади яъни пропозиционал узгарувчилар бу барча элементар мулохазалар туплами киймат кабул килувчи узгарувчилардир. Пропозиционал узгарувчиларни одатда лотн харифлар билан белгиланади.
Масалан: P,Q,Z,R,S.... бу ерда индекслар хам катнашиши мумкин.
Таъриф(мулохазалар алгебрасидаги формулалар):
Хар кандай пропозиционал узгарувчи мулохазалар алгебрасида формула.
Агар F ва F формула булса, у холда F, (F F), (F F), (F F), (F F) лар хам формулалардир.
Do'stlaringiz bilan baham: |
