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! 



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 

Reply via email to