84:
74:
53:
22:
360:
is. I think this needs to be remedied. Asymmetric relation has two definitions; which one of these, if any, corresponds with the definition of a nonsymmetric relation? I too dislike redirects to articles that have no mention at all of the first
420:
does not. From the point of view of symmetry, any pattern is possible for a given couple. The non-symmetric property of xRy is defined taken advantage of NOR connector (either symmetric or antisymmetric but neither both nor none) as:
166:
to asymmetric. However, they deleted the article without including anything about nonsymmetric relations. So here is the deleted part. Apparently he thought it look wierd and deleted it. Way to go. That's a great way to do things.
364:
Gregbard, the notation used in your formula looks rather non-standard (the universal quantifier seems to be implicit), and even so I don't think the formula makes sense because you are quantifying over the same variables
140:
522:
502:
482:
462:
369:
314:
294:
254:
234:
274:
442:
214:
571:
130:
566:
106:
97:
58:
416:
relation occurs when, in the same context U (being U a finite set; and x and y elements of U), some couples <x,y: -->
33:
21:
551:
546:
343:
394:
357:
163:
39:
83:
398:
353:
338:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
541:
379:
333:
89:
73:
52:
507:
487:
467:
447:
299:
279:
239:
219:
259:
427:
199:
560:
375:
168:
102:
383:
171:
79:
370:
Knowledge talk:WikiProject
Mathematics/Archive 28#Negation of definitions
405:
182:
15:
368:
My searching reveals that the matter was discussed in
510:
490:
470:
450:
430:
302:
282:
262:
242:
222:
202:
101:, a collaborative effort to improve the coverage of
516:
496:
476:
456:
436:
308:
288:
268:
248:
228:
208:
418:, too; there are also cases where <x,y: -->
8:
19:
47:
509:
489:
469:
449:
429:
301:
281:
261:
241:
221:
201:
49:
532:"x loves y", "x is the brother of y"
7:
95:This article is within the scope of
352:True there is currently nothing in
38:It is of interest to the following
511:
491:
471:
451:
324:"x loves y", "is the brother of"
303:
283:
243:
223:
14:
572:Low-priority mathematics articles
115:Knowledge:WikiProject Mathematics
567:Start-Class mathematics articles
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
431:
417:of R do exist and <y,x: -->
203:
1:
384:17:13, 7 September 2008 (UTC)
109:and see a list of open tasks.
172:23:04, 29 August 2007 (UTC)
588:
419:do exist but <y,x: -->
134:
67:
46:
517:{\displaystyle \exists }
497:{\displaystyle \exists }
477:{\displaystyle \exists }
457:{\displaystyle \exists }
309:{\displaystyle \exists }
289:{\displaystyle \exists }
249:{\displaystyle \exists }
229:{\displaystyle \exists }
193:relation is defined as:
141:project's priority scale
269:{\displaystyle \wedge }
98:WikiProject Mathematics
547:antisymmetric relation
518:
498:
478:
458:
438:
344:antisymmetric relation
310:
290:
270:
250:
230:
210:
28:This article is rated
519:
499:
479:
459:
439:
395:nonsymmetric relation
358:nonsymmetric relation
356:that explains what a
311:
291:
271:
251:
231:
211:
164:nonsymmetric relation
552:homegeneous relation
508:
488:
468:
448:
437:{\displaystyle \to }
428:
300:
280:
260:
240:
220:
209:{\displaystyle \to }
200:
121:mathematics articles
399:asymmetric relation
354:asymmetric relation
339:asymmetric relation
162:Someone redirected
542:symmetric relation
514:
494:
474:
454:
434:
334:symmetric relation
306:
286:
266:
246:
226:
206:
90:Mathematics portal
34:content assessment
155:
154:
151:
150:
147:
146:
579:
523:
521:
520:
515:
503:
501:
500:
495:
483:
481:
480:
475:
463:
461:
460:
455:
443:
441:
440:
435:
315:
313:
312:
307:
295:
293:
292:
287:
275:
273:
272:
267:
255:
253:
252:
247:
235:
233:
232:
227:
215:
213:
212:
207:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
587:
586:
582:
581:
580:
578:
577:
576:
557:
556:
538:
530:
506:
505:
486:
485:
466:
465:
446:
445:
426:
425:
392:
349:
348:
330:
322:
298:
297:
278:
277:
258:
257:
238:
237:
218:
217:
198:
197:
191:partimsymmetric
178:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
585:
583:
575:
574:
569:
559:
558:
555:
554:
549:
544:
537:
534:
529:
526:
513:
493:
473:
453:
433:
401:is the same.
391:
388:
387:
386:
372:
366:
362:
347:
346:
341:
336:
329:
326:
321:
318:
305:
285:
265:
245:
225:
205:
187:nonsymmetrical
179:
176:
175:
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
584:
573:
570:
568:
565:
564:
562:
553:
550:
548:
545:
543:
540:
539:
535:
533:
527:
525:
422:
415:
411:
410:non-symmetric
407:
402:
400:
396:
389:
385:
381:
377:
373:
371:
367:
363:
359:
355:
351:
350:
345:
342:
340:
337:
335:
332:
331:
327:
325:
319:
317:
263:
194:
192:
188:
184:
174:
173:
170:
165:
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
531:
423:
413:
409:
403:
393:
390:nonsymmetric
323:
195:
190:
186:
180:
177:Deleted Part
161:
158:nonsymmetric
137:Low-priority
136:
96:
62:Low‑priority
40:WikiProjects
484:y)(yRx)NOR(
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
561:Categories
524:y)(~yRx))
424:(x)(y)(xRy
414:asymmetric
316:y)(~Ryx))
196:(x)(y)(Rxy
536:See also
528:Examples
376:Egriffin
361:article.
328:See also
320:Examples
169:Gregbard
412:or the
256:y)(Ryx)
139:on the
408:, the
365:twice.
185:, the
36:scale.
406:Logic
183:logic
397:and
380:talk
504:x)(
464:x)(
404:In
296:x)(
236:x)(
189:or
181:In
131:Low
563::
512:∃
492:∃
472:∃
452:∃
444:((
432:→
382:)
374:--
304:∃
284:∃
264:∧
244:∃
224:∃
216:((
204:→
378:(
276:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
