[Date Index] [Thread Index] [Author Index]

Logic Problems

• To: mathgroup at smc.vnet.net
• Subject: [mg2443] Logic Problems
• From: TTCJ34A at prodigy.com (DR JOHN C ERB)
• Date: Wed, 8 Nov 1995 23:44:11 -0500

Can Mathematica be used to solve logic problems?  As a
simplistic example: Mary is older than Tom; Tom is older
than Sue; is Mary older than Sue?  I would like to be able
to do this type of problem without specifying values (i.e., 
ageMary=35).
Thank you.
John C. Erb