Q383

2 views
Skip to first unread message

Anar Seyf

unread,
Apr 30, 2009, 3:53:14 PM4/30/09
to utexas-cs313k-spring2009
Is R< antisymmetric?

- no because x < y and y < x are never true at the same time, so it
doesn't make sense to apply the term "antisymmetric";
- yes because x < y and y < x are never true at the same time, so the
hypothesis in the definition of "antisymmetric" is always false, which
makes the formula true.

Which one is it?

Ian W.

unread,
Apr 30, 2009, 4:50:47 PM4/30/09
to utexas-cs313k-spring2009
On Apr 30, 2:53 pm, Anar Seyf <anar.s...@gmail.com> wrote:
> Is R< antisymmetric?
>
> - no because x < y and y < x are never true at the same time, so it
> doesn't make sense to apply the term "antisymmetric";

It makes sense; it's just never true.

> - yes because x < y and y < x are never true at the same time, so the
> hypothesis in the definition of "antisymmetric" is always false, which
> makes the formula true.

I'm convinced by this argument.

Ian

David Rager

unread,
Apr 30, 2009, 5:06:53 PM4/30/09
to Ian W., utexas-cs313k-spring2009
Here's a rubric if ya'll want. Remember that you still need to
specify counterexamples outside of this rubric. It needs to be viewed
in a uniform width font (courier new, or window's notepad for
examples).

==================================================
| Property | Req | Rneq | Rlt | Rlteq |
| Reflexive | | | | |
| Irreflexive | | | | |
| Symmetric | | | | |
| Asymmetric | | | | |
| Antisymmetric | | | | |
| Transitive | | | | |
| Strongly connected | | | | |
| Connected | | | | |
==================================================

Reply all
Reply to author
Forward
0 new messages