Mathematica 9 is now available
Services & Resources / Wolfram Forums
-----
 /
MathGroup Archive
2001
*January
*February
*March
*April
*May
*June
*July
*August
*September
*October
*November
*December
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 2001

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

Search the Archive

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




  • Prev by Date: Re: Head wanted
  • Next by Date: Re: Logic and Truth Tables with Mathematica?
  • Previous by thread: Logic and Truth Tables with Mathematica?
  • Next by thread: Re: Logic and Truth Tables with Mathematica?