Le 04-avr.-06, à 10:40, Bruno Marchal a écrit :

> For example: (x)(0 ­ s(x)) can be replaced by Ey((x)(y ­ s(x) & (z)

Mmh... You are asked to imagine the symbol for "not equal" between the 
0 and the s(x), and between the y and s(x). It does not print well! 
Sorry.

Bruno

http://iridia.ulb.ac.be/~marchal/


--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~----------~----~----~----~------~----~------~--~---

Reply via email to