Results 1 to 3 of 3
Like Tree1Thanks
  • 1 Post By Plato

Math Help - Proving a disjunction statement

  1. #1
    Member
    Joined
    Oct 2010
    From
    Mumbai, India
    Posts
    203

    Proving a disjunction statement

    Hi

    I have to prove a simple proposition. But I am getting some problems

     (q \Rightarrow r) \vee (r \Rightarrow q)

    Now I can do this using truth tables. But I wanted to do it little differently. We can express disjunction as an implication.

     \neg (q \Rightarrow r) \Rightarrow ( r \Rightarrow q)

    since this is an implication, we can assume  \neg (q \Rightarrow r) , so the goal is to prove  ( r \Rightarrow q) . But this itself is an implication, so we can further assume ,  r and so the goal is  q . So our givens are

     \neg (q \Rightarrow r) \mbox{ and } r

    and the goal is  q . Now the givens give us

     \neg (\neg q \vee r ) \mbox{ and } r

     \therefore  (q \wedge \neg r) \mbox{ and } r

    So we get our goal,  q . But I am also getting  \neg r  and  r . So I am little confused here.......

    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,607
    Thanks
    1574
    Awards
    1

    Re: Proving a disjunction statement

    Quote Originally Posted by issacnewton View Post
    Hi
    I have to prove a simple proposition. But I am getting some problems
     (q \Rightarrow r) \vee (r \Rightarrow q)
    Now I can do this using truth tables. But I wanted to do it little differently. We can express disjunction as an implication.
    I am not sure that this is what you mean. But
    \begin{align*} \left( {q \Rightarrow r} \right) &\vee \left( {r \Rightarrow q} \right) \\ \left( {\neg q \vee r} \right) &\vee \left( {\neg r \vee q} \right)  \\ \left( {\neg q \vee q} \right) &\vee \left( {\neg r \vee r} \right)\text{  rearranged} \\T &\vee T\\ &T\end{align*}
    Thanks from issacnewton
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Oct 2010
    From
    Mumbai, India
    Posts
    203

    Re: Proving a disjunction statement

    Thanks Plato. Yes thats one way to do it. But I was trying to use the way like people prove math theorems which are given as an implication. So we assume antecedent and try to prove
    consequent......... So there must be some error in my proof........
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Proving a statement is true.
    Posted in the Algebra Forum
    Replies: 1
    Last Post: April 25th 2011, 12:13 AM
  2. Proving a statement by Induction
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: April 20th 2011, 02:57 AM
  3. Need help proving a congruence statement
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: March 19th 2011, 05:20 PM
  4. Help on proving this statement...
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: July 20th 2008, 11:47 AM
  5. Proving Statement True
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: March 15th 2008, 12:38 AM

Search Tags


/mathhelpforum @mathhelpforum