Answered step by step
Verified Expert Solution
Question
1 Approved Answer
Write the following relations in Haskell Consider a universe discourse u = {1,2,3,4,5,6,7,8} type Reln = [(Int,Int)] 1.) Reflexive Relation / forall a, (a,a) in
Write the following relations in Haskell
Consider a universe discourse u = {1,2,3,4,5,6,7,8}
type Reln = [(Int,Int)]
1.) Reflexive Relation / forall a, (a,a) in R
reflexRelation :: Reln -> Bool
reflexRelaion r =
2.) Symmetric Relation / forall a b, (a,b) in R -> (b,a) in R
symmRelation:: Reln -> Bool
symmRelation s =
3.) Transitive Relation / forall a b c, ((a,b) in R /\ (b,c) in R) -> (a,c) in R
transRelation :: Reln -> Bool
transRelation t =
Step by Step Solution
There are 3 Steps involved in it
Step: 1
Get Instant Access to Expert-Tailored Solutions
See step-by-step solutions with expert insights and AI powered tools for academic success
Step: 2
Step: 3
Ace Your Homework with AI
Get the answers you need in no time with our AI-driven, step-by-step assistance
Get Started