Teorema:
A = B <==> A [W] B = A [M] B
Demostració:
[==>] sigui x € A [W] B ==>
( x€A or x€B )
( x€A or x€B ) & ( x€A or x€B )
( x€A or x€A ) & ( x€B or x€B )
x€A & x€B
x€ A [M] B
[<==] sigui x€A ==>
x€A or x€B
x€ A [W] B
x€B
No hay comentarios:
Publicar un comentario