ขึ้นแท็ก

Q: ดูเพิ่มเติม

เครื่องหมายบวกทางเลือก ความขัดแย้ง รายชื่อสัญลักษณ์ทางคณิตศาสตร์ ที (สัญลักษณ์) (⊤)

Q: หมายเหตุ

^ a b "ตัวดำเนินการทางคณิตศาสตร์ – ยูนิโค้ด" (PDF) . สืบค้นเมื่อ 2013-07-20 . ^ Giunchiglia, Enrico; Tacchella, Armando (2004-02-24). ทฤษฎีและการประยุกต์ใช้การทดสอบความน่าพอใจ: การประชุมนานาชาติครั้งที่ 6, SAT 2003.

" Up tack " เป็น ชื่อ Unicodeสำหรับสัญลักษณ์ ( ⊥ ใน\bot LaTeX , U+22A5 ใน Unicode ^{[ 1 ]} ) ซึ่งเรียกอีกอย่างว่า " bottom " ^{[ 2 ]}^{[ 3 ]} " falsum " ^{[ 4 ]} " absurdum " ^{[ 5 ]}หรือ " absurdity " ^{[ 6 ]}^{[ 7 ]}^{[ 3 ]}ขึ้นอยู่กับบริบท ใช้เพื่อแสดงถึง:

ค่าความจริง ' เท็จ'หรือค่าคงที่ทางตรรกะที่บ่งบอกถึงประพจน์ในตรรกศาสตร์ซึ่งเป็นเท็จเสมอ (ชื่อ "falsum", "absurdum" และ "absurdity" มาจากบริบทนี้)
องค์ประกอบล่างสุดในทฤษฎีวงล้อและทฤษฎีแลตทิซซึ่งยังแสดงถึงความไร้สาระเมื่อใช้ในความหมายเชิงตรรกะ
ประเภทล่างสุดในทฤษฎีประเภทคือองค์ประกอบล่างสุดในความสัมพันธ์ของประเภทย่อย ซึ่งอาจตรงกับประเภทว่างซึ่งแสดงถึงความไร้สาระภายใต้การจับคู่ของเคอร์รี-โฮเวิร์ด
"ค่าที่ไม่กำหนด" ในการตีความฟิสิกส์ควอนตัมที่ปฏิเสธความแน่นอนเชิงสมมติเช่นใน ( r ₀ ,⊥)

รวมถึง

การถอดรหัส ฐานผสมในภาษาโปรแกรม APL

สัญลักษณ์ ของหมุดขึ้น ปรากฏ เป็น สัญลักษณ์ทีกลับหัวและบางครั้งจึงเรียกว่าeet (คำว่า "tee" กลับด้าน) ^{[ 8 ]}^{[ 9 ]}ทีมีบทบาทเสริมหรือ บทบาท คู่ในทฤษฎีเหล่านี้หลายทฤษฎี

สัญลักษณ์ตั้งฉากที่ดูคล้ายกัน( ⟂ ใน LaTeX , \perpU+27C2 ใน Unicode) เป็น สัญลักษณ์ ความสัมพันธ์แบบไบนารีที่ใช้แทน:

ในอดีต ในชุดอักขระก่อน Unicode 4.1 (มีนาคม 2548) เช่น Unicode 4.0 ^{[ 10 ]}และ JIS X 0213 สัญลักษณ์ตั้งฉากจะถูกเข้ารหัสด้วยรหัสจุดเดียวกันกับสัญลักษณ์ชี้ขึ้น โดยเฉพาะ U+22A5 ใน Unicode 4.0 ^{[ 11 ]}การทับซ้อนนี้สะท้อนให้เห็นในข้อเท็จจริงที่ว่าทั้งเอนทิตี HTML &perp;และ&bot;อ้างอิงถึงรหัสจุดเดียวกันคือ U+22A5 ดังที่แสดงในรายการเอนทิตี HTMLในเดือนมีนาคม 2548 Unicode 4.1 ได้แนะนำสัญลักษณ์ที่แตกต่างกัน "⟂" (U+27C2 "PERPENDICULAR") โดยมีการอ้างอิงกลับไปยัง ⊥ (U+22A5 "UP TACK") และหมายเหตุว่า "จัดพิมพ์ด้วยช่องว่างเพิ่มเติม" ^{[ 12 ]}

สัญลักษณ์ยกขึ้นสองครั้ง ( ⫫ , U+2AEB ในUnicode ^{[ 1 ]} ) เป็น สัญลักษณ์ ความสัมพันธ์แบบไบนารีที่ใช้แทน:

ความเป็นอิสระแบบมีเงื่อนไขของตัวแปรสุ่มในทฤษฎีความน่าจะเป็น^{[ 13 ]}

ดูเพิ่มเติม

หมายเหตุ

^ ^a ^b "ตัวดำเนินการทางคณิตศาสตร์ – ยูนิโค้ด" (PDF) . สืบค้นเมื่อ2013-07-20 .
^ Giunchiglia, Enrico; Tacchella, Armando (2004-02-24). ทฤษฎีและการประยุกต์ใช้การทดสอบความน่าพอใจ: การประชุมนานาชาติครั้งที่ 6, SAT 2003. ซานตา มาร์เกริตา ลิกูเร, อิตาลี, 5-8 พฤษภาคม 2546, บทความที่คัดเลือกและแก้ไขแล้ว . Springer. หน้า 507. ISBN 978-3-540-24605-3.
^ ^a^b Goble, Lou (2007). The Blackwell Guide to Philosophical Logic . Blackwell. หน้า 10.
^ Ribeiro, Henrique Jales (25 เมษายน 2555). Inside Arguments: Logic and the Study of Argumentation . สำนักพิมพ์ Cambridge Scholars. หน้า 382. ISBN 978-1-4438-3931-0.
^ Gallier, Jean (2011-02-01). คณิตศาสตร์เชิงดิสครีต . Springer Science & Business Media. หน้า 4. ISBN 978-1-4419-8047-2.
^ Makridis, Odysseus (2022). "ตรรกศาสตร์เชิงสัญลักษณ์" . Palgrave Philosophy Today : 207. doi : 10.1007/978-3-030-67396-3 . ISSN 2947-9339 .
^เทนแนนท์, นีล (11 กุมภาพันธ์ 2558). แนะนำปรัชญา: พระเจ้า จิตใจ โลก และตรรกะ . รูทเลดจ์. หน้า 179. ISBN 978-1-317-56087-6.
^ Church, Alonzo; Langford, Cooper Harold (1957). วารสารตรรกศาสตร์เชิงสัญลักษณ์สมาคมตรรกศาสตร์เชิงสัญลักษณ์ หน้า 41.
^ Smullyan, Raymond M. (1987). Forever undecided: a puzzle guide to Gödel (ฉบับที่ 1). นิวยอร์ก, NY: Knopf. หน้า 57. ISBN 978-0-394-54943-9.
^ "มาตรฐานยูนิโค้ด เวอร์ชัน 4.0 (แผนภูมิรหัสที่เก็บถาวร)" (PDF) . สืบค้นเมื่อ25 เมษายน 2568 .
^ Unicode 4.0ได้กำหนดไว้ว่า "UP TACK = ตั้งฉากกับ = ตั้งฉากกับ = ฐาน, ด้านล่าง"
^ "สัญลักษณ์ทางคณิตศาสตร์เบ็ดเตล็ด-A, ช่วง: 27C0–27EF – มาตรฐานยูนิโค้ด เวอร์ชัน 4.1" (PDF) . สืบค้นเมื่อ25 เมษายน 2025 .
^ "สัญกรณ์ความเป็นอิสระแบบมีเงื่อนไข" . 27 มีนาคม 2020.

[unicode-1] "ตัวดำเนินการทางคณิตศาสตร์ – ยูนิโค้ด" (PDF) . สืบค้นเมื่อ2013-07-20 .

[2] Giunchiglia, Enrico; Tacchella, Armando (2004-02-24). ทฤษฎีและการประยุกต์ใช้การทดสอบความน่าพอใจ: การประชุมนานาชาติครั้งที่ 6, SAT 2003. ซานตา มาร์เกริตา ลิกูเร, อิตาลี, 5-8 พฤษภาคม 2546, บทความที่คัดเลือกและแก้ไขแล้ว . Springer. หน้า 507. ISBN 978-3-540-24605-3.

[:0-3] Goble, Lou (2007). The Blackwell Guide to Philosophical Logic . Blackwell. หน้า 10.

[4] Ribeiro, Henrique Jales (25 เมษายน 2555). Inside Arguments: Logic and the Study of Argumentation . สำนักพิมพ์ Cambridge Scholars. หน้า 382. ISBN 978-1-4438-3931-0.

[5] Gallier, Jean (2011-02-01). คณิตศาสตร์เชิงดิสครีต . Springer Science & Business Media. หน้า 4. ISBN 978-1-4419-8047-2.

[6] Makridis, Odysseus (2022). "ตรรกศาสตร์เชิงสัญลักษณ์" . Palgrave Philosophy Today : 207. doi : 10.1007/978-3-030-67396-3 . ISSN 2947-9339 .

[7] เทนแนนท์, นีล (11 กุมภาพันธ์ 2558). แนะนำปรัชญา: พระเจ้า จิตใจ โลก และตรรกะ . รูทเลดจ์. หน้า 179. ISBN 978-1-317-56087-6.

[8] Church, Alonzo; Langford, Cooper Harold (1957). วารสารตรรกศาสตร์เชิงสัญลักษณ์สมาคมตรรกศาสตร์เชิงสัญลักษณ์ หน้า 41.

[9] Smullyan, Raymond M. (1987). Forever undecided: a puzzle guide to Gödel (ฉบับที่ 1). นิวยอร์ก, NY: Knopf. หน้า 57. ISBN 978-0-394-54943-9.

[unicode4.0-10] "มาตรฐานยูนิโค้ด เวอร์ชัน 4.0 (แผนภูมิรหัสที่เก็บถาวร)" (PDF) . สืบค้นเมื่อ25 เมษายน 2568 .

[11] Unicode 4.0ได้กำหนดไว้ว่า "UP TACK = ตั้งฉากกับ = ตั้งฉากกับ = ฐาน, ด้านล่าง"

[unicode4.1-addition-12] "สัญลักษณ์ทางคณิตศาสตร์เบ็ดเตล็ด-A, ช่วง: 27C0–27EF – มาตรฐานยูนิโค้ด เวอร์ชัน 4.1" (PDF) . สืบค้นเมื่อ25 เมษายน 2025 .

[13] "สัญกรณ์ความเป็นอิสระแบบมีเงื่อนไข" . 27 มีนาคม 2020.

[ 1 ]

[ 2 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

[ 8 ]

[ 9 ]

[ 10 ]

[ 11 ]

[ 12 ]

[ 13 ]

ขึ้นแท็ก

ดูเพิ่มเติม

หมายเหตุ

ข้อมูลสำคัญจากบทความ