همونطور که میدونید وقتی میگیم جبرمنظور یه مجموعه از اشیا به همراه یک یا چندعمل روی اشیای اون مجموعه هست.حال:
An MV-algebra is a system ( M,+ ,',0), where (M ,+, 0) is a commutative monoid with neutral element 0, and for each x,y in M the following equations hold:
1- (x')'=x
2- x+1=1,where 1=0' and
3- x+(x+y')' = y+(y+x')'.
further more we can define other operations as follows:
x-->y = x' +y
x-y=(x-->y)'
x.y=(x' +y')'
x<-->y=(x-->y).(y-->x)
....
توجه داشته باشید که دراینجا Mمیتونه هرمجموعه ای باشه.بنابراین منظور ازعلایم + و . و ...همونایی نیست که درتعداد حقیقی میخونیم. موفق باشید:11:
