Mathematica 9 is now available
Services & Resources / Wolfram Forums / MathGroup Archive
-----

MathGroup Archive 2012

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

Search the Archive

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.



  • Prev by Date: Re: How do you TraditionalForm inside your TextCell?
  • Next by Date: Re: M8 parallel to M9 installation
  • Previous by thread: Re: Displaying the solution step by step in Wolfram Mathematica
  • Next by thread: Re: Displaying the solution step by step in Wolfram