696:
719:
685:
414:
276:
760:
407:
202:
400:
133:
784:
231:
665:
660:
119:
753:
649:
779:
126:
90:
424:
226:
695:
789:
597:
585:
746:
551:
527:
453:
98:
700:
593:
499:
495:
214:
689:
470:
282:
272:
94:
730:
513:
509:
264:
636:
632:
624:
610:
581:
539:
535:
523:
439:
324:
71:
773:
487:
482:
547:
465:
115:
109:
78:
67:
373:
349:
252:
620:
268:
300:
286:
449:
145:
137:
718:
644:
573:
559:
392:
129:
105:
17:
478:
220:
157:
86:
51:
602:
59:
140:. In this usage, it is usually written under the primary IPA symbol.
726:
569:
178:
82:
43:
396:
144:
A similar-looking superscript T may be used to mean the
734:
93:) which is unconditionally true. By definition, every
253:"Logic: Reference Book for Computer Scientists"
754:
408:
8:
761:
747:
433:
415:
401:
393:
243:
257:Intelligent Systems Reference Library
27:Typographical symbol resembling a "T"
7:
715:
713:
301:"tautology | Definition & Facts"
203:Miscellaneous Mathematical Symbols-A
733:. You can help Knowledge (XXG) by
374:"Mathematical Operators – Unicode"
160:, the tee character is encoded as
25:
717:
694:
683:
134:International Phonetic Alphabet
188:A large variant is encoded as
1:
232:List of mathematical symbols
177:). The symbol is encoded in
251:Polkowski, Lech T. (2023).
806:
712:
680:
431:
325:"Definition of TAUTOLOGY"
269:10.1007/978-3-031-42034-4
175:⊤, ⊤
120:APL programming language
329:www.merriam-webster.com
305:Encyclopedia Britannica
85:, or a sentence (e.g.,
729:-related article is a
701:Mathematics portal
91:propositional calculus
785:Typographical symbols
690:Philosophy portal
354:mathworld.wolfram.com
227:List of logic symbols
201:in the Unicode block
99:logically equivalent
348:Weisstein, Eric W.
62:used to represent:
50:(as opposed to the
742:
741:
707:
706:
675:
674:
278:978-3-031-42033-7
81:of being true in
16:(Redirected from
797:
763:
756:
749:
721:
714:
699:
698:
688:
687:
686:
618:
567:
447:
434:
417:
410:
403:
394:
387:
386:
384:
383:
378:
370:
364:
363:
361:
360:
345:
339:
338:
336:
335:
321:
315:
314:
312:
311:
297:
291:
290:
248:
200:
197:
194:
192:
184:
176:
172:
169:
166:
164:
118:encoding in the
41:
21:
805:
804:
800:
799:
798:
796:
795:
794:
770:
769:
768:
767:
710:
708:
703:
693:
692:
684:
682:
676:
671:
670:
667:
663:
655:
654:
651:
647:
639:
635:
627:
623:
614:
605:
601:
596:
588:
584:
576:
572:
563:
554:
550:
542:
538:
530:
526:
518:
515:
512:
504:
501:
498:
490:
486:
481:
473:
469:
464:
456:
452:
443:
427:
425:logical symbols
421:
391:
390:
381:
379:
376:
372:
371:
367:
358:
356:
347:
346:
342:
333:
331:
323:
322:
318:
309:
307:
299:
298:
294:
279:
250:
249:
245:
240:
211:
199:LARGE DOWN TACK
198:
195:
190:
189:
182:
174:
170:
167:
162:
161:
154:
46:), also called
39:
28:
23:
22:
15:
12:
11:
5:
803:
801:
793:
792:
787:
782:
772:
771:
766:
765:
758:
751:
743:
740:
739:
722:
705:
704:
681:
678:
677:
673:
672:
668:quantification
664:
659:
658:
656:
652:quantification
648:
643:
642:
640:
631:
630:
628:
609:
608:
606:
592:
591:
589:
580:
579:
577:
558:
557:
555:
546:
545:
543:
534:
533:
531:
522:
521:
519:
508:
507:
505:
494:
493:
491:
477:
476:
474:
460:
459:
457:
438:
437:
432:
429:
428:
422:
420:
419:
412:
405:
397:
389:
388:
365:
340:
316:
292:
277:
242:
241:
239:
236:
235:
234:
229:
224:
218:
210:
207:
153:
150:
142:
141:
123:
113:
102:
75:
72:lattice theory
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
802:
791:
788:
786:
783:
781:
780:Logic symbols
778:
777:
775:
764:
759:
757:
752:
750:
745:
744:
738:
736:
732:
728:
723:
720:
716:
711:
702:
697:
691:
679:
669:
662:
657:
653:
646:
641:
638:
634:
629:
626:
622:
617:
612:
607:
604:
599:
595:
590:
587:
583:
578:
575:
571:
566:
561:
556:
553:
549:
544:
541:
537:
532:
529:
525:
520:
517:
511:
506:
503:
497:
492:
489:
488:contradiction
484:
480:
475:
472:
467:
463:
458:
455:
451:
446:
441:
436:
435:
430:
426:
418:
413:
411:
406:
404:
399:
398:
395:
375:
369:
366:
355:
351:
344:
341:
330:
326:
320:
317:
306:
302:
296:
293:
288:
284:
280:
274:
270:
266:
262:
258:
254:
247:
244:
237:
233:
230:
228:
225:
222:
219:
216:
213:
212:
208:
206:
204:
186:
180:
159:
151:
149:
148:of a matrix.
147:
139:
135:
131:
128:
124:
121:
117:
114:
111:
107:
103:
101:to the verum.
100:
96:
92:
88:
84:
80:
76:
73:
69:
65:
64:
63:
61:
57:
53:
49:
45:
37:
33:
19:
735:expanding it
724:
709:
615:
564:
461:
444:
380:. Retrieved
368:
357:. Retrieved
353:
343:
332:. Retrieved
328:
319:
308:. Retrieved
304:
295:
260:
256:
246:
187:
155:
143:
55:
47:
35:
31:
29:
790:Logic stubs
666:existential
350:"Tautology"
116:Mixed radix
110:type theory
79:truth value
68:top element
774:Categories
382:2013-07-20
359:2020-08-14
334:2020-08-14
310:2020-08-14
650:universal
528:therefore
516:therefore
471:tautology
287:1868-4394
215:Turnstile
171:DOWN TACK
146:transpose
138:phonetics
95:tautology
48:down tack
18:Down tack
603:superset
514:entails,
500:entails,
209:See also
196:⟙
168:⊤
152:Encoding
106:top type
619:
598:implies
586:implies
568:
540:because
448:
423:Common
263:: 180.
221:Up tack
158:Unicode
132:in the
127:lowered
87:formula
58:, is a
52:up tack
613:
562:
502:proves
442:
285:
275:
193:
191:U+27D9
165:
163:U+22A4
130:phonic
60:symbol
727:logic
725:This
483:false
450:&
377:(PDF)
238:Notes
179:LaTeX
83:logic
56:verum
54:) or
44:LaTeX
731:stub
637:nand
466:true
283:ISSN
273:ISBN
183:\top
136:and
104:The
77:The
66:The
40:\top
30:The
625:iff
574:not
454:and
265:doi
261:245
223:(⊥)
217:(⊢)
181:as
156:In
108:in
97:is
89:in
70:in
42:in
32:tee
776::
616:or
565:or
552:or
445:or
352:.
327:.
303:.
281:.
271:.
259:.
255:.
205:.
185:.
125:A
38:,
762:e
755:t
748:v
737:.
661:∃
645:∀
633:|
621:≡
611:↔
600:,
594:⊃
582:→
570:~
560:¬
548:∨
536:∵
524:∴
510:⊨
496:⊢
485:,
479:⊥
468:,
462:⊤
440:∧
416:e
409:t
402:v
385:.
362:.
337:.
313:.
289:.
267::
173:(
122:.
112:.
74:.
36:⊤
34:(
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.