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

tautology of conditions

• To: mathgroup at smc.vnet.net
• Subject: [mg129040] tautology of conditions
• From: gregor.gololicic93 at gmail.com
• Date: Sun, 9 Dec 2012 23:30:13 -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

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.