25.10.2012 Views

Logique des relations - Index of

Logique des relations - Index of

Logique des relations - Index of

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Propositions (De Morgan , 1860)<br />

Soit L la relation « aime »<br />

et M la relation « est le maître de »<br />

� X aime Y<br />

� X..LY<br />

� X est aimé de Y<br />

� X..L -1 Y<br />

� X n’aime pas Y<br />

� X..lY<br />

� X aime le maître de Y<br />

� X..LMY<br />

6

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!