1Thanks
• 1 Post By Plato

# Thread:

1. ## 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.......

2. ## Re: Proving a disjunction statement

Originally Posted by issacnewton
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*}$

3. ## 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........

#### Search Tags

View Tag Cloud

Copyright © 2005-2013 Math Help Forum. All rights reserved.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 15, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": false}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9234129786491394, "perplexity_flag": "middle"}