Machine-translated by Google. Questions are authored in English.
Top

Discussion

A binary relation \(R\) on \(\mathbb{N} \times \mathbb{N}\) is defined as follows: \((a,b)R(c,d)\) if \(a \le c\) or \(b \le d\). Consider the following propositions:

P: \(R\) is reflexive
Q: \(R\) is transitive

Which one of the following statements is TRUE?

  • A.Both P and Q are true.
  • B.P is true and Q is false.
  • C.P is false and Q is true.
  • D.Both P and Q are false.

Answer: B

P is true and Q is false: \(R\) is reflexive but not transitive.

Reflexive: \((a,b)R(a,b)\) holds because \(a \le a\).

Not transitive: take \((1,5)R(2,1)\), true since \(1 \le 2\), and \((2,1)R(0,3)\), true since \(1 \le 3\). But \((1,5)R(0,3)\) needs \(1 \le 0\) or \(5 \le 3\), and both fail. The “or” lets each step use a different coordinate, so the chain does not carry through.

Hence options calling \(R\) transitive, or not reflexive, are wrong.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.