# Thread:

1. ## Methods of Proof: Vacuous Proof

THIS IS NOT HOMEWORK! This is a practice problem from our textbook. Class link: Discrete Math I

1) "By the definition of R we see that there are no ordered pairsin R where the first entry of one and the second entry of another is the
same..."
I do not understand what the definition of R is, nor what they mean by the first entry of one and the second entry of another is the same.

2) "...so the hypothesis, ..., cannot be true."
Maybe because I do not understand #1 above, I also do not understand this conclusion.

3) "...this shows that the implication is true"
I obviously do not understand this either.

Any clarification would be greatly appreciated. Thank you!

2. ## Re: Methods of Proof: Vacuous Proof

1) "By the definition of R we see that there are no ordered pairsin R where the first entry of one and the second entry of another is the
same..."
I do not understand what the definition of R is, nor what they mean by the first entry of one and the second entry of another is the same.

2) "...so the hypothesis, ..., cannot be true."
Maybe because I do not understand #1 above, I also do not understand this conclusion.

3) "...this shows that the implication is true"
I obviously do not understand this either.
For #1 there is nothing to understand. A relation is a set of ordered pairs. That is exactly what $R$ is.

For #2 are that two pair in $R$ that look like $(a,b),~(b,c)$.
The answer is no. So $(a,b)\in R\text{ and }(b,c)\in R$ is a false statement.

For #3. The statement "It false then anything" is always true.
So if $(a,b)\in R\text{ and }(b,c)\in R$ then $(a,c)\in R$ is TRUE.
Because A false statement implies any statement.

Thank you!
{"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": 6, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": false, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "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.9409633278846741, "perplexity_flag": "middle"}