Loading AI tools
บทความรายชื่อวิกิมีเดีย จากวิกิพีเดีย สารานุกรมเสรี
สำหรับคณิตศาสตร์ สาขาตรรกศาสตร์แล้ว จะใช้สัญลักษณ์แทนสิ่งต่างๆ ซึ่งเป็นตัวเชื่อม/เงื่อนไขของประพจน์หรือประโยคเปิดนั้นๆ โดยแถวแรก จะเป็นสัญลักษณ์ แถวที่สอง จะเป็นเรื่องชื่อสัญลักษณ์/คำอ่านหมวดหมู่ และแถวที่สาม จะเป็นคำอธิบาย ส่วนแถวสุดท้าย จะเป็นการแสดงตัวอย่าง
สัญลักษณ์ | ชื่อ | คำอธิบาย | ตัวอย่าง |
---|---|---|---|
คำอ่าน | |||
หมวดหมู่ | |||
|
เงื่อนไขเชิงตรรกศาสตร์ | จะเป็นเท็จได้ ก็ต่อเมื่อ เป็นจริง และ เป็นเท็จเท่านั้น
อาจมีความหมายเหมือนกับ (สัญลักษณ์นี้อาจะแสดงถึงโดเมนและโคโดเมนของฟังก์ชันใดๆ ดูเพิ่มที่รายการสัญลักษณ์ทางคณิตศาสตร์) หรือเขียน แทน ก็ได้ (อาจหมายถึงซูเปอร์เซต) |
เป็นจริง แต่ เป็นเท็จ เพราะ เป็น ได้ |
ถ้า...แล้ว... | |||
แคลคูลัสเชิงประพจน์, พีชคณิตเฮย์ทิง | |||
|
ก็ต่อเมื่อ | จะเป็นจริงได้ ก็ต่อเมื่อ และมีค่าความจริงเหมือนกัน | |
...ก็ต่อเมื่อ... | |||
แคลคูลัสเชิงประพจน์ | |||
|
นิเสธ | จะเป็นจริง ก็ต่อเมื่อ เป็นเท็จ |
|
นิเสธ, น็อท | |||
แคลคูลัสเชิงประพจน์ | |||
|
การเชื่อมเชิงตรรกศาสตร์ | จะเป็นจริง ก็ต่อเมื่อ และ เป็นจริงเท่านั้น | |
...และ... | |||
แคลคูลัสเชิงประพจน์, พีชคณิตแบบบูล | |||
|
การเลือกเชิงตรรกศาสตร์ | จะเป็นเท็จ ก็ต่อเมื่อ และเป็นเท็จเท่านั้น | |
หรือ | |||
แคลคูลัสเชิงประพจน์, พีชคณิตแบบบูล | |||
|
เฉพาะ หรือ | จะเป็นจริง ก็ต่อเมื่อ หรือ อย่างใดอย่างหนึ่งเป็นจริงเท่านั้น
ใช้ ก็ได้ |
เป็นจริงเสมอ แต่ เป็นเท็จเสมอ |
เฉพาะ/หรือ | |||
แคลคูลัสเชิงประพจน์, พีชคณิตแบบบูล | |||
|
สัจนิรันดร์ | แล้ว จะเป็นจริงเสมอ | เป็นจริงเสมอ |
สัจนิรันดร์ | |||
แคลคูลัสเชิงประพจน์, พีชคณิตแบบบูล | |||
|
ความขัดแย้ง | แล้ว จะเป็นเท็จเสมอ | เป็นจริงเสมอ |
ขัดแย้ง | |||
แคลคูลัสเชิงประพจน์, พีชคณิตแบบบูล | |||
|
ตัวบ่งปริมาณ (ทั้งหมด) | หรือ หมายความว่า เป็นจริง สำหรับ ทุกตัว | |
สำหรับ...แต่ละตัว, สำหรับ...ใดๆ, ฟอร์ออล... | |||
First-Order Logic | |||
ตัวบ่งปริมาณ (บางตัว) | หมายความว่า เป็นจริงสำหรับ บางตัว | เป็นจำนวนคู่ | |
มี...อยู่บางตัว, ฟอร์ซัม... | |||
First-Order Logic | |||
ตัวบ่งปริมาณ (หนึ่งตัว) | หมายความว่า เป็นจริงสำหรับ หนึ่งตัว | ||
มี...หนึ่งตัว | |||
First-Order Logic | |||
|
บทนิยาม | หมายความว่า P เป็นนิยามของ/สมมูลกับ Q | |
บทนิยามของ, สมมูลกับ | |||
ลำดับการดำเนินการ | |||
นขลิขิต, วงเล็บ | |||
ใช้ในทุกหมวดหมู่ | |||
ใช้ในทุกหมวดหมู่ | |||
พิสูจน์ได้ | หมายความว่า y พิสูจน์ได้จาก x | ||
พิสูจน์ได้จาก | |||
แคลคูลัสเชิงประพจน์, First-Order Logic | |||
หมายความว่า | หมายความว่า x มีความหมายเดียวกับ y | ||
หมายความว่า | |||
แคลคูลัสเชิงประพจน์, First-Order Logic |
สัญลักษณ์พวกนี้จัดเรียงตามลำดับค่ายูนิโคด
สัญลักษณ์ต่อไปนี้ จะเป็นสัญลักษณ์ที่อาจจะไม่แสดงผลในคอมพิวเตอร์บางท่าน ซึ่งการที่จะแสดงผลได้ จำเป็นต้องมีฟอนต์ที่จำเป็นสำหรับหน้าเว็บเพจต่างๆ
ในปี 2014 โปแลนด์ ได้ใช้ แทน และ แทน [3]
ในญี่ปุ่น บางทีมีการใช้ตัว แทนคำว่า "สรุปได้ว่า" หรือ "ผลก็คือ" เช่น "เราได้ทำการตรวจสอบแล้วว่าจะทำการขายสินค้าอะไรดี ⇒ เราจะไม่ขายอะไรทั้งนั้น" ส่วน แทนคำว่า "เปลี่ยนเป็น" เช่น "อัตราความสนใจเปลี่ยนไป คือ มีนาคม 20% → เมษายน 21%"
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.