713:
702:
345:
Structural Theory of
Automata, Semigroups, and Universal Algebra: Proceedings of the NATO Advanced Study Institute on Structural Theory of Automata, Semigroups and Universal Algebra, Montreal, Quebec, Canada, 7-18 July
147:
One motivation and the most probable explanation for the choice of the symbol ∨ is the latin word "vel" meaning "or" in the inclusive sense. Several authors use "vel" as name of the "or" function.
431:
381:
354:
326:
299:
272:
245:
218:
191:
424:
417:
399:
596:
591:
580:
736:
91:
35:
371:
685:
681:
441:
404:
343:
262:
96:
80:
528:
516:
316:
289:
235:
208:
181:
8:
673:
482:
470:
31:
717:
645:
641:
524:
712:
706:
616:
377:
350:
322:
295:
268:
241:
214:
187:
659:
655:
87:
44:
669:
567:
563:
555:
541:
512:
456:
76:
164:
730:
633:
628:
64:
40:
611:
607:
478:
409:
166:
Principia mathematica, by Alfred North
Whitehead ... and Bertrand Russell
551:
264:
The
Primary Logic: Instruments for a Dialogue Between the Two Cultures
466:
50:
575:
504:
490:
54:
624:
112:
237:
Implementing
Mathematics with the Nuprl Proof Development System
533:
60:
500:
68:
133:
342:
Kudryavtsev, Valery B.; Rosenberg, Ivo G. (2006-01-18).
341:
291:Handbook of Mathematics and Computational Science
728:
369:
288:Harris, John W.; Stöcker, Horst (1998-07-23).
425:
287:
314:
210:Progress in Cybernetics and Systems Research
370:Denecke, Klaus; Wismath, Shelly L. (2009).
318:Logic and Philosophy: A Modern Introduction
439:
432:
418:
179:
349:. Springer Science & Business Media.
294:. Springer Science & Business Media.
260:
233:
162:
75:The vertically reflected symbol, ∧, is a
186:. American Elsevier Publishing Company.
729:
206:
413:
315:Tidman, Paul; Kahane, Howard (2003).
213:. Hemisphere Publishing Corporation.
13:
180:Rueff, Marcel; Jeger, Max (1970).
14:
748:
711:
700:
163:Whitehead, Alfred North (2005).
373:Universal Algebra and Coalgebra
86:The ∨ symbol was introduced by
79:, and often denotes related or
363:
335:
321:. Wadsworth/Thomson Learning.
308:
281:
254:
227:
200:
173:
156:
1:
234:Constable, Robert L. (1986).
150:
16:Logic symbol resembling a "V"
400:List of mathematical symbols
7:
393:
261:Malatesta, Michele (1997).
100:, where they called it the
10:
753:
697:
448:
267:. Gracewing Publishing.
183:Sets and Boolean Algebra
207:Trappl, Robert (1975).
718:Mathematics portal
115:the symbol is encoded
707:Philosophy portal
405:List of logic symbols
97:Principia Mathematica
376:. World Scientific.
106:Disjunctive Function
130:∨, ∨
36:propositional logic
32:Logical disjunction
71:among other things
724:
723:
692:
691:
383:978-981-283-745-5
356:978-1-4020-3817-4
328:978-0-534-56172-7
301:978-0-387-94746-4
274:978-0-85244-499-3
247:978-0-13-451832-9
240:. Prentice-Hall.
220:978-0-89116-240-7
193:978-0-444-19751-1
744:
716:
715:
705:
704:
703:
549:
498:
464:
451:
450:
434:
427:
420:
411:
410:
388:
387:
367:
361:
360:
339:
333:
332:
312:
306:
305:
285:
279:
278:
258:
252:
251:
231:
225:
224:
204:
198:
197:
177:
171:
170:
160:
143:
139:
131:
127:
124:
121:
119:
21:descending wedge
752:
751:
747:
746:
745:
743:
742:
741:
727:
726:
725:
720:
710:
709:
701:
699:
693:
688:
684:
676:
672:
664:
661:
658:
650:
647:
644:
636:
632:
627:
619:
615:
610:
602:
601:
598:
594:
586:
585:
582:
578:
570:
566:
558:
554:
545:
536:
532:
527:
519:
515:
507:
503:
494:
485:
481:
473:
469:
460:
444:
442:logical symbols
438:
396:
391:
384:
368:
364:
357:
340:
336:
329:
313:
309:
302:
286:
282:
275:
259:
255:
248:
232:
228:
221:
205:
201:
194:
178:
174:
161:
157:
153:
141:
137:
129:
125:
122:
117:
116:
27:may represent:
17:
12:
11:
5:
750:
740:
739:
722:
721:
698:
695:
694:
690:
689:
680:
679:
677:
668:
667:
665:
654:
653:
651:
640:
639:
637:
623:
622:
620:
606:
605:
603:
599:quantification
595:
590:
589:
587:
583:quantification
579:
574:
573:
571:
562:
561:
559:
540:
539:
537:
523:
522:
520:
511:
510:
508:
489:
488:
486:
477:
476:
474:
455:
454:
449:
446:
445:
437:
436:
429:
422:
414:
408:
407:
402:
395:
392:
390:
389:
382:
362:
355:
334:
327:
307:
300:
280:
273:
253:
246:
226:
219:
199:
192:
172:
154:
152:
149:
73:
72:
57:
47:
45:lattice theory
38:
15:
9:
6:
4:
3:
2:
749:
738:
737:Logic symbols
735:
734:
732:
719:
714:
708:
696:
687:
683:
678:
675:
671:
666:
663:
657:
652:
649:
643:
638:
635:
634:contradiction
630:
626:
621:
618:
613:
609:
604:
600:
593:
588:
584:
577:
572:
569:
565:
560:
557:
553:
548:
543:
538:
535:
530:
526:
521:
518:
514:
509:
506:
502:
497:
492:
487:
484:
480:
475:
472:
468:
463:
458:
453:
452:
447:
443:
435:
430:
428:
423:
421:
416:
415:
412:
406:
403:
401:
398:
397:
385:
379:
375:
374:
366:
358:
352:
348:
347:
338:
330:
324:
320:
319:
311:
303:
297:
293:
292:
284:
276:
270:
266:
265:
257:
249:
243:
239:
238:
230:
222:
216:
212:
211:
203:
195:
189:
185:
184:
176:
168:
167:
159:
155:
148:
145:
135:
114:
109:
107:
103:
99:
98:
93:
89:
84:
82:
78:
70:
67:representing
66:
62:
58:
56:
52:
48:
46:
42:
39:
37:
33:
30:
29:
28:
26:
22:
546:
495:
461:
372:
365:
344:
337:
317:
310:
290:
283:
263:
256:
236:
229:
209:
202:
182:
175:
165:
158:
146:
110:
105:
101:
95:
85:
74:
24:
20:
18:
597:existential
102:Logical Sum
83:operators.
151:References
126:LOGICAL OR
674:therefore
662:therefore
617:tautology
581:universal
92:Whitehead
51:wedge sum
731:Category
660:entails,
646:entails,
534:superset
394:See also
136:, it is
123:∨
55:topology
686:because
550:
529:implies
517:implies
499:
465:
440:Common
113:Unicode
88:Russell
23:symbol
648:proves
544:
493:
459:
380:
353:
325:
298:
271:
244:
217:
190:
132:). In
120:
118:U+2228
65:symbol
61:V sign
629:false
467:&
77:wedge
69:peace
612:true
568:nand
378:ISBN
351:ISBN
346:2003
323:ISBN
296:ISBN
269:ISBN
242:ISBN
215:ISBN
188:ISBN
142:\lor
138:\vee
90:and
81:dual
63:, a
59:The
49:The
41:Join
19:The
556:iff
505:not
471:and
140:or
134:TeX
111:In
104:or
94:in
53:in
43:in
34:in
733::
547:or
496:or
483:or
462:or
144:.
108:.
682:∵
670:∴
656:⊨
642:⊢
631:,
625:⊥
614:,
608:⊤
592:∃
576:∀
564:|
552:≡
542:↔
531:,
525:⊃
513:→
501:~
491:¬
479:∨
457:∧
433:e
426:t
419:v
386:.
359:.
331:.
304:.
277:.
250:.
223:.
196:.
169:.
128:(
25:∨
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.