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

Re: Logic and Truth Tables with Mathematica?

• To: mathgroup at smc.vnet.net
• Subject: [mg129933] Re: Logic and Truth Tables with Mathematica?
• From: robertchero at gmail.com
• Date: Wed, 27 Feb 2013 03:04:17 -0500 (EST)
• Delivered-to: l-mathgroup@mail-archive0.wolfram.com
• Delivered-to: l-mathgroup@wolfram.com
• Delivered-to: mathgroup-newout@smc.vnet.net
• Delivered-to: mathgroup-newsend@smc.vnet.net
• References: <9iji4d$ris$1@smc.vnet.net>

El jueves, 12 de julio de 2001 02:01:44 UTC-5, hea... at in-tch.com  escribi:
> Hi,
> Can Mathematica, given a relation such as P->Q generate the truth table?
> Is there a book available that talks about Mathematica and logic?
> Thanks,
> Heath

See:
http://rip94550.wordpress.com/2010/03/22/logic-truth-tables/