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  
gregor.gololicic93@gmail.com

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 ?

thanks.




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

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.