Proving symmetry, antisymmetry, and transitivity of relation composition

  • Thread starter Thread starter rooski
  • Start date Start date
  • Tags Tags
    Relations
Join the discussion
Registration is free. Start your own thread to ask a follow-up.
1 reply · 2K views
rooski
Messages
60
Reaction score
0

Homework Statement



let A be any set of numbers and let R and S be relations on A.

if S and R are symmetric then show S o R is symmetric.

if S and R are antisymmetric then show S o R is antisymmetric.

if S and R are transitive then show S o R is transitive.

if S and R are antisymmetric then show S o R is not symmetric.

The Attempt at a Solution



For The first question i would do something like

[tex]\forall a,b \in A : aRb \rightarrow bRa[/tex] and [tex]\forall a,b \in A : aSb \rightarrow bSa[/tex] then show that when combined into a single statement it is valid, right?
 
Physics news on Phys.org