[Home] [By Thread] [By Date] [Recent Entries]
> For example can one in Mathml say the > following: > (p->q),((~q)->(~p)); Yes. (Or at least the two statements (p->q) and ((~q)->(~p)) if the , and ; were intended to have formal meaning there, the answer is probably still yes, but it depends what you meant. David ________________________________________________________________________ This e-mail has been scanned for all viruses by Star Internet. The service is powered by MessageLabs. For more information on a proactive anti-virus service working around the clock, around the globe, visit: http://www.star.net.uk ________________________________________________________________________
|

Cart



