Re: Logic and Truth Tables with Mathematica?
- To: mathgroup at smc.vnet.net
- Subject: [mg29834] Re: [mg29825] Logic and Truth Tables with Mathematica?
- From: Andrzej Kozlowski <andrzej at tuins.ac.jp>
- Date: Fri, 13 Jul 2001 04:19:15 -0400 (EDT)
- Sender: owner-wri-mathgroup at wolfram.com
I do not know about any books, but you might want to look at the Mathematica
Journal Vol 2 issue 1 1992 and some packages on Math Source.
As for your first question:
In[1]:=
Outer[Implies[#1,#2]&,{True,False},{True,False}]//TableForm
Out[1]//TableForm=
True False
True True
--
Andrzej Kozlowski
Toyama International University
JAPAN
http://platon.c.u-tokyo.ac.jp/andrzej/
http://sigma.tuins.ac.jp/~andrzej/
on 01.7.12 3:52 PM, heathw at in-tch.com at heathw at in-tch.com wrote:
> 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
>
>