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.