intersecció y reunió de conjunts

x = { t : t€x }
¬x = { t : ¬( t€x ) }


x [M] y ={ t : t€x  &  t€y }
x [W] y ={ t : t€x  or  t€y }


¬x [M] ¬y ={ t : ¬( t€x ) & ¬( t€y ) }
¬x [W] ¬y ={ t : ¬( t€x ) or ¬( t€y ) }


( x [M] y ) [M] z = x [M] ( y [M] z )
( x [W] y ) [W] z = x [W] ( y [W] z )


( ¬x [M] ¬y ) [M] ¬z = ¬x [M] ( ¬y [M] ¬z )
( ¬x [W] ¬y ) [W] ¬z = ¬x [W] ( ¬y [W] ¬z )


( x [M] y ) = ( y [M] x )
( x [W] y ) = ( y [W] x )


( ¬x [M] ¬y ) = ( ¬y [M] ¬x )
( ¬x [W] ¬y ) = ( ¬y [W] ¬x )


( x [M] x ) = x
( x [W] x ) = x


( ¬x [M] ¬x ) = ¬x
( ¬x [W] ¬x ) = ¬x


( x [W] y ) [M] z = ( x [M] z ) [W] ( y [M] z )
( x [M] y ) [W] z = ( x [W] z ) [M] ( y [W] z )


( ¬x [W] ¬y ) [M] ¬z = ( ¬x [M] ¬z ) [W] ( ¬y [M] ¬z )
( ¬x [M] ¬y ) [W] ¬z = ( ¬x [W] ¬z ) [M] ( ¬y [W] ¬z )


( x [M] ¬x ) = { t : 0 }
( x [W] ¬x ) = { t : 1 }


¬( x [M] y ) = ( ¬y [W] ¬x )
¬( x [W] y ) = ( ¬y [M] ¬x )


¬( ¬x [M] ¬y ) = ( y [W] x )
¬( ¬x [W] ¬y ) = ( y [M] x )