Drexel dragonThe Math ForumDonate to the Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.

Math Forum » Discussions » Software » comp.soft-sys.math.mathematica

Topic: tautology of conditions
Replies: 0  

Advanced Search

Back to Topic List Back to Topic List  

Posts: 2
Registered: 12/10/12
tautology of conditions
Posted: Dec 9, 2012 11:31 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Hi, Im new to mathematica and I would like to know if there is some way to do tautology of conditions, with that i mean the following:
I have lets say:

1. p || q
2. p => r
3. q => s
r || s (conclusion)

And I have to prove this conclusion is right. How do I do that with mathematica? also is there any way I could see steps mathematica make to get the result ?


Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum 1994-2015. All Rights Reserved.