next up previous contents
: theorem BOOLE'29: :: BOOLE'29: : xboole1.miz : BOOLE'1   目次

BOOLE'2 

X meets Y iff ex x st x in X /\ Y by XBOOLE_0:4;
　 これも，殆ど，説明の必要がないでしょうが

$XBOOLE\_0:4$から，


\begin{displaymath} BOOLE'2: X \ meets \ Y \Leftrightarrow (\exists x)( x \in X \cap \ Y ) \end{displaymath}


Yasunari SHIDAMA