Question #63201

Which of the following binary relations is true a ∧ b :
Function / invective / surjective / total / symmetrical / reflexive / transitive

Expert's answer

Answer on Question #63201 – Math – Discrete Mathematics

Question

Which of the following binary relations is true aba \wedge b:

Function / injective / surjective / total / symmetric / reflexive / transitive?

Solution

It is total, because the domain of the relation is the full set A={T,F}A = \{T, F\}.

It is symmetric, because


abab.a \wedge b \equiv a \wedge b.


It is transitive, because

If ab=Ta \wedge b = T and bc=Tb \wedge c = T, then ac=Ta \wedge c = T.

It is not a function (because every element is in relation with more than one element, for example, TTT \wedge T and TFT \wedge F can be regarded).

It is not injective, because it is not a function.

It is not surjective, because it is not a function.

It is not reflexive (aa=Fa \wedge a = F when a=Fa = F).

Answer: total, symmetric, transitive.

www.AssignmentExpert.com


Need a fast expert's response?

Submit order

and get a quick answer at the best price

for any assignment or question with DETAILED EXPLANATIONS!

LATEST TUTORIALS
APPROVED BY CLIENTS