[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
________________________________________________________________________

Site Map | Privacy Policy | Terms of Use | Trademarks
Free Stylus Studio XML Training:
W3C Member