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.domain.name.hidden
To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list
-~----------~----~----~----~------~----~------~--~---
Received on Tue Apr 04 2006 - 06:19:58 PDT