732:
36:
721:
450:
325:
153:
443:
293:
119:
202:
436:
755:
57:
760:
366:
208:
100:
72:
615:
610:
230:
171:, or a logical constant denoting a proposition in logic that is always false (often called "falsum" or "absurdum").
599:
418:
336:
79:
53:
46:
765:
86:
460:
361:
731:
547:
535:
356:
68:
692:
501:
489:
736:
664:
660:
543:
344:
301:
249:
725:
635:
678:
674:
340:
297:
329:
268:
157:
704:
700:
688:
586:
582:
574:
560:
531:
475:
288:
183:
175:
749:
652:
647:
310:
284:
275:
168:
93:
630:
626:
497:
371:
241:
179:
197:, which is the bottom element in the subtype relation. This may coincide with the
306:
226:
194:
190:
165:
35:
395:
570:
198:
485:
594:
523:
509:
428:
279:
17:
60: in this section. Unsourced material may be challenged and removed.
552:
207:
The "undefined value" in quantum physics interpretations that reject
519:
237:
149:
186:, which also represents absurdum when used for logical semantics
432:
29:
248:(the word "tee" in reverse). Tee plays a complementary or
444:
8:
469:
451:
437:
429:
390:
388:
240:of the up tack appears as an upside-down
120:Learn how and when to remove this message
384:
201:, which represents absurdum under the
7:
58:adding citations to reliable sources
27:Symbol used in mathematics and logic
419:"Conditional independence notation"
396:"Mathematical Operators – Unicode"
267:in LaTeX, U+27C2 in Unicode) is a
244:, and as such is sometimes called
25:
730:
719:
252:role in many of these theories.
34:
45:needs additional citations for
1:
367:List of mathematical symbols
209:counterfactual definiteness
203:Curry–Howard correspondence
782:
332:symbol used to represent:
271:symbol used to represent:
716:
467:
337:Conditional independence
231:APL programming language
737:Mathematics portal
756:Mathematical notation
726:Philosophy portal
357:Alternative plus sign
761:Mathematical symbols
257:perpendicular symbol
255:The similar-looking
54:improve this article
160:used to represent:
345:probability theory
302:probability theory
743:
742:
711:
710:
130:
129:
122:
104:
16:(Redirected from
773:
735:
734:
724:
723:
722:
568:
517:
483:
470:
453:
446:
439:
430:
423:
422:
421:. 27 March 2020.
415:
409:
408:
406:
405:
400:
392:
341:random variables
298:random variables
276:Perpendicularity
266:
229:decoding in the
156:) is a constant
147:
125:
118:
114:
111:
105:
103:
62:
38:
30:
21:
781:
780:
776:
775:
774:
772:
771:
770:
746:
745:
744:
739:
729:
728:
720:
718:
712:
707:
703:
695:
691:
683:
680:
677:
669:
666:
663:
655:
651:
646:
638:
634:
629:
621:
620:
617:
613:
605:
604:
601:
597:
589:
585:
577:
573:
564:
555:
551:
546:
538:
534:
526:
522:
513:
504:
500:
492:
488:
479:
463:
461:logical symbols
457:
427:
426:
417:
416:
412:
403:
401:
398:
394:
393:
386:
381:
353:
330:binary relation
269:binary relation
264:
216:
145:
126:
115:
109:
106:
63:
61:
51:
39:
28:
23:
22:
15:
12:
11:
5:
779:
777:
769:
768:
763:
758:
748:
747:
741:
740:
717:
714:
713:
709:
708:
699:
698:
696:
687:
686:
684:
673:
672:
670:
659:
658:
656:
642:
641:
639:
625:
624:
622:
618:quantification
614:
609:
608:
606:
602:quantification
598:
593:
592:
590:
581:
580:
578:
559:
558:
556:
542:
541:
539:
530:
529:
527:
508:
507:
505:
496:
495:
493:
474:
473:
468:
465:
464:
458:
456:
455:
448:
441:
433:
425:
424:
410:
383:
382:
380:
377:
376:
375:
369:
364:
359:
352:
349:
348:
347:
318:double tack up
314:
313:
304:
291:
289:linear algebra
282:
234:
233:
220:
219:
214:
205:
187:
184:lattice theory
176:bottom element
172:
128:
127:
42:
40:
33:
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
778:
767:
766:Logic symbols
764:
762:
759:
757:
754:
753:
751:
738:
733:
727:
715:
706:
702:
697:
694:
690:
685:
682:
676:
671:
668:
662:
657:
654:
653:contradiction
649:
645:
640:
637:
632:
628:
623:
619:
612:
607:
603:
596:
591:
588:
584:
579:
576:
572:
567:
562:
557:
554:
549:
545:
540:
537:
533:
528:
525:
521:
516:
511:
506:
503:
499:
494:
491:
487:
482:
477:
472:
471:
466:
462:
454:
449:
447:
442:
440:
435:
434:
431:
420:
414:
411:
397:
391:
389:
385:
378:
373:
370:
368:
365:
363:
362:Contradiction
360:
358:
355:
354:
350:
346:
342:
338:
335:
334:
333:
331:
327:
323:
319:
312:
311:number theory
308:
305:
303:
299:
295:
292:
290:
286:
285:Orthogonality
283:
281:
277:
274:
273:
272:
270:
262:
258:
253:
251:
247:
243:
239:
232:
228:
225:
224:
223:
217:
210:
206:
204:
200:
196:
192:
188:
185:
181:
177:
173:
170:
167:
163:
162:
161:
159:
155:
151:
143:
139:
135:
124:
121:
113:
102:
99:
95:
92:
88:
85:
81:
78:
74:
71: –
70:
66:
65:Find sources:
59:
55:
49:
48:
43:This section
41:
37:
32:
31:
19:
643:
565:
514:
480:
413:
402:. Retrieved
372:Tee (symbol)
324:, U+2AEB in
321:
317:
315:
294:Independence
278:of lines in
260:
256:
254:
245:
235:
221:
212:
180:wheel theory
152:, U+22A5 in
141:
137:
133:
131:
116:
107:
97:
90:
83:
76:
64:
52:Please help
47:verification
44:
616:existential
307:Coprimality
227:Mixed radix
222:as well as
195:type theory
191:bottom type
166:truth value
750:Categories
404:2013-07-20
242:tee symbol
199:empty type
80:newspapers
693:therefore
681:therefore
636:tautology
600:universal
211:, as in (
69:"Up tack"
679:entails,
665:entails,
553:superset
351:See also
320:symbol (
280:geometry
110:May 2014
18:Absurdum
705:because
569:
548:implies
536:implies
518:
484:
459:Common
328:) is a
326:Unicode
169:'false'
154:Unicode
134:up tack
94:scholar
667:proves
563:
512:
478:
158:symbol
138:falsum
96:
89:
82:
75:
67:
648:false
486:&
399:(PDF)
379:Notes
265:\perp
238:glyph
150:LaTeX
101:JSTOR
87:books
631:true
587:nand
316:The
250:dual
236:The
189:The
182:and
174:The
164:The
146:\bot
132:The
73:news
575:iff
524:not
490:and
374:(⊤)
343:in
339:of
309:in
300:in
296:of
287:in
246:eet
218:,⊥)
193:in
178:in
148:in
136:or
56:by
752::
566:or
515:or
502:or
481:or
387:^
263:,
144:,
701:∵
689:∴
675:⊨
661:⊢
650:,
644:⊥
633:,
627:⊤
611:∃
595:∀
583:|
571:≡
561:↔
550:,
544:⊃
532:→
520:~
510:¬
498:∨
476:∧
452:e
445:t
438:v
407:.
322:⫫
261:⟂
259:(
215:0
213:r
142:⊥
140:(
123:)
117:(
112:)
108:(
98:·
91:·
84:·
77:·
50:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.