
Advanced Engineering Mathematics
10th Edition
ISBN: 9780470458365
Author: Erwin Kreyszig
Publisher: Wiley, John & Sons, Incorporated
expand_more
expand_more
format_list_bulleted
Question
thumb_up100%

Transcribed Image Text:Prove the following statement.
If \( R \) is any symmetric relation on a set \( A \), then \( R^{-1} \) is symmetric.
Some of the sentences in the following scrambled list can be used in a proof.
1. By definition of \( R^{-1} \) and since \( x \, R^{-1} \, y \), then \( y \, R \, x \).
2. By definition of \( R^{-1} \) and since \( x \, R \, y \), then \( y \, R^{-1} \, x \).
3. By definition of \( R^{-1} \) and since \( y \, R^{-1} \, x \), then \( x \, R \, y \).
4. By definition of \( R^{-1} \) and since \( y \, R \, x \), then \( x \, R^{-1} \, y \).
**Proof:** We construct a proof by selecting appropriate sentences from the list and inserting them in the spaces.
Construct the proof by using the appropriate statements from the list and putting them in the correct order.
1. Let \( R \) be any symmetric relation on a set \( A \), and suppose that \( x \) and \( y \) are any elements of \( A \) such that \( x \, R^{-1} \, y \).
2. ---Select---
3. Since \( R \) is symmetric and \( y \, R \, x \), then \( x \, R \, y \).
4. ---Select---
5. Therefore, by definition of a symmetric relation, \( R^{-1} \) is symmetric.
Expert Solution

This question has been solved!
Explore an expertly crafted, step-by-step solution for a thorough understanding of key concepts.
This is a popular solution
Trending nowThis is a popular solution!
Step by stepSolved in 2 steps with 2 images

Knowledge Booster
Similar questions
- For each of the following statements, if the statement is true, then give a proof, and if the statement is false, then write out its negation and prove. (a) For all sets A, B and C, AU (BC) is a subset of (AUB) n(AUC). (b) For all sets A, B and C, (AUB) - C = (AC) U (B-C).arrow_forwardProve the following, using the semantic equivalences. In each step apply only one rule once and state the name of the rule. a. (p ∧ q) → r ≡ (p → r ) ∨ (q → r )arrow_forwardWhen writing proofs by contradiction we begin by assuming the opposite of a statement, and then show that this leads to (i.e. entails) a contradiction. Which of the following statements constitutes a contradiction (that is, which of the following evaluates to false)? Suppose R(x, y) is a binary relation that relates two natural numbers. Select all that apply. A. O (3æ e N.R(x, æ) V R(x + 1, æ + 1)) ^ (Væ.¬R(x, æ)) B. O (Væ, y E N.R(x, y) → -R(y, x)) A R(3, 3) C. O (3r, y E N.R(x, y) → R(y, x)) ^ R(3, 4) A R(4, 3) D. O Va, y, z E N. (-(R(x,y) ^ R(y, z)) V R(x, z)) ) A R(2, 4) ^ R(4, 6) E. O None of the abovearrow_forward
arrow_back_ios
arrow_forward_ios
Recommended textbooks for you
- Advanced Engineering MathematicsAdvanced MathISBN:9780470458365Author:Erwin KreyszigPublisher:Wiley, John & Sons, IncorporatedNumerical Methods for EngineersAdvanced MathISBN:9780073397924Author:Steven C. Chapra Dr., Raymond P. CanalePublisher:McGraw-Hill EducationIntroductory Mathematics for Engineering Applicat...Advanced MathISBN:9781118141809Author:Nathan KlingbeilPublisher:WILEY
- Mathematics For Machine TechnologyAdvanced MathISBN:9781337798310Author:Peterson, John.Publisher:Cengage Learning,

Advanced Engineering Mathematics
Advanced Math
ISBN:9780470458365
Author:Erwin Kreyszig
Publisher:Wiley, John & Sons, Incorporated

Numerical Methods for Engineers
Advanced Math
ISBN:9780073397924
Author:Steven C. Chapra Dr., Raymond P. Canale
Publisher:McGraw-Hill Education

Introductory Mathematics for Engineering Applicat...
Advanced Math
ISBN:9781118141809
Author:Nathan Klingbeil
Publisher:WILEY

Mathematics For Machine Technology
Advanced Math
ISBN:9781337798310
Author:Peterson, John.
Publisher:Cengage Learning,

