[
Lists Home |
Date Index |
Thread Index
]
> 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
________________________________________________________________________
|
