474:
463:
192:
185:
178:
113:
357:
352:
25:
341:
497:
152:
70:
54:
16:
This article is about the mathematical logic and sets symbol "⊃". For the set symbol "⊂", see
446:
442:
202:
161:
118:
79:
289:
277:
50:
8:
434:
243:
231:
478:
406:
402:
473:
467:
377:
420:
416:
156:
74:
430:
328:
324:
316:
302:
273:
217:
491:
394:
389:
372:
368:
239:
170:
312:
63:
227:
21:
336:
265:
251:
385:
84:
294:
59:
43:
17:
261:
123:
133:
128:
39:
489:
186:
200:
193:
179:
20:. For symbology of iron horseshoes, see
102:⊃, ⊃, ⊃
490:
174:
13:
14:
509:
472:
461:
146:
1:
139:
114:List of mathematical symbols
7:
107:
10:
514:
26:horseshoe (disambiguation)
15:
458:
209:
479:Mathematics portal
87:the symbol is encoded
24:. For other uses, see
468:Philosophy portal
162:Principia Mathematica
119:List of logic symbols
80:Principia Mathematica
51:Material conditional
55:propositional logic
46:used to represent:
485:
484:
453:
452:
157:Russell, Bertrand
505:
477:
476:
466:
465:
464:
310:
259:
225:
212:
211:
195:
188:
181:
172:
171:
165:
150:
103:
99:
96:
93:
91:
513:
512:
508:
507:
506:
504:
503:
502:
488:
487:
486:
481:
471:
470:
462:
460:
454:
449:
445:
437:
433:
425:
422:
419:
411:
408:
405:
397:
393:
388:
380:
376:
371:
363:
362:
359:
355:
347:
346:
343:
339:
331:
327:
319:
315:
306:
297:
293:
288:
280:
276:
268:
264:
255:
246:
242:
234:
230:
221:
205:
203:logical symbols
199:
169:
168:
153:Whitehead, A.N.
151:
147:
142:
110:
101:
97:
94:
89:
88:
69:It was used by
29:
12:
11:
5:
511:
501:
500:
483:
482:
459:
456:
455:
451:
450:
441:
440:
438:
429:
428:
426:
415:
414:
412:
401:
400:
398:
384:
383:
381:
367:
366:
364:
360:quantification
356:
351:
350:
348:
344:quantification
340:
335:
334:
332:
323:
322:
320:
301:
300:
298:
284:
283:
281:
272:
271:
269:
250:
249:
247:
238:
237:
235:
216:
215:
210:
207:
206:
198:
197:
190:
183:
175:
167:
166:
144:
143:
141:
138:
137:
136:
131:
126:
121:
116:
109:
106:
67:
66:
57:
9:
6:
4:
3:
2:
510:
499:
498:Logic symbols
496:
495:
493:
480:
475:
469:
457:
448:
444:
439:
436:
432:
427:
424:
418:
413:
410:
404:
399:
396:
395:contradiction
391:
387:
382:
379:
374:
370:
365:
361:
354:
349:
345:
338:
333:
330:
326:
321:
318:
314:
309:
304:
299:
296:
291:
287:
282:
279:
275:
270:
267:
263:
258:
253:
248:
245:
241:
236:
233:
229:
224:
219:
214:
213:
208:
204:
196:
191:
189:
184:
182:
177:
176:
173:
164:
163:
158:
154:
149:
145:
135:
132:
130:
127:
125:
122:
120:
117:
115:
112:
111:
105:
86:
82:
81:
76:
72:
65:
61:
58:
56:
52:
49:
48:
47:
45:
41:
38:, \supset in
37:
33:
27:
23:
19:
307:
285:
256:
222:
160:
148:
78:
68:
35:
31:
30:
358:existential
98:SUPERSET OF
140:References
64:set theory
435:therefore
423:therefore
378:tautology
342:universal
71:Whitehead
32:Horseshoe
22:horseshoe
492:Category
421:entails,
407:entails,
295:superset
108:See also
95:⊃
60:Superset
447:because
311:
290:implies
278:implies
260:
226:
201:Common
85:Unicode
75:Russell
42:) is a
409:proves
305:
254:
220:
155:, and
92:
90:U+2283
44:symbol
18:subset
390:false
228:&
83:. In
373:true
329:nand
73:and
317:iff
266:not
232:and
104:).
77:in
62:in
53:in
40:TeX
494::
308:or
257:or
244:or
223:or
159:,
443:∵
431:∴
417:⊨
403:⊢
392:,
386:⊥
375:,
369:⊤
353:∃
337:∀
325:|
313:≡
303:↔
292:,
286:⊃
274:→
262:~
252:¬
240:∨
218:∧
194:e
187:t
180:v
134:Ω
129:ʊ
124:⊂
100:(
36:⊃
34:(
28:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.