ในตรรกศาสตร์ทางคณิตศาสตร์ตัวอักษรคือสูตรอะตอม (เรียกอีกอย่างว่าอะตอมหรือสูตรเฉพาะ) หรือการปฏิเสธ ของมัน ^{[ 1 ] [ 2 ]}คำจำกัดความส่วนใหญ่ปรากฏในทฤษฎีการพิสูจน์ ( ของตรรกศาสตร์คลาสสิก ) เช่น ในรูปแบบปกติแบบเชื่อมโยงและวิธีแก้

ตัวอักษรสามารถแบ่งออกได้เป็นสองประเภท: ^{[ 2 ]}

• ตัวอักษรบวกคืออะตอม (เช่น)${\displaystyle x}$
• คำนามเชิงลบคือการปฏิเสธของอะตอม (เช่น)${\displaystyle \lnot x}$

ขั้วของค่าคงที่จะเป็นบวกหรือลบ ขึ้นอยู่กับว่าค่าคงที่นั้นเป็นค่าบวกหรือค่าลบ

ในตรรกศาสตร์ที่มีการกำจัดปฏิเสธซ้ำซ้อน (โดยที่) ตัวอักษรเสริมหรือส่วนเติมเต็มของตัวอักษรสามารถกำหนดได้ว่าเป็นตัวอักษรที่สอดคล้องกับการปฏิเสธของ[ ^{3 ] เรา}สามารถเขียนเพื่อแสดงถึงตัวอักษรเสริมของ กล่าวคือ ถ้า แล้วคือและถ้าแล้วคือ การกำจัดปฏิเสธซ้ำซ้อนเกิด ขึ้นในตรรกศาสตร์แบบคลาสสิก แต่ไม่เกิดขึ้นในตรรกศาสตร์ แบบสัญชาตญาณ${\displaystyle \lnot \lnot x\equiv x}$${\displaystyle l}$${\displaystyle l}$${\displaystyle {\bar {l}}}$${\displaystyle l}$${\displaystyle l\equiv x}$${\displaystyle {\bar {l}}}$${\displaystyle \lnot x}$${\displaystyle l\equiv \lnot x}$${\displaystyle {\bar {l}}}$${\displaystyle x}$

ในบริบทของสูตรในรูปแบบปกติแบบเชื่อมโยงกันตัวอักษรจะบริสุทธิ์ก็ต่อเมื่อส่วนเติมเต็มของตัวอักษรนั้นไม่ปรากฏในสูตร

ในฟังก์ชันบูลีนการปรากฏแยกกันแต่ละครั้งของตัวแปร ไม่ว่าจะอยู่ในรูปแบบผกผันหรือรูปแบบที่ไม่เติมเต็ม ถือเป็นค่าคงที่ ตัวอย่างเช่น ถ้า, และเป็นตัวแปร นิพจน์จะมีค่าคงที่สามค่า และนิพจน์จะมีค่าคงที่สี่ค่า อย่างไรก็ตาม นิพจน์ก็จะกล่าวได้ว่ามีค่าคงที่สี่ค่าเช่นกัน เพราะถึงแม้ว่าค่าคงที่สองค่าจะเหมือนกัน ( ปรากฏสองครั้ง) แต่ก็ถือว่าเป็นการปรากฏแยกกันสองครั้ง^{[ 4 ]}${\displaystyle A}$${\displaystyle B}$${\displaystyle C}$${\displaystyle {\bar {A}}BC}$${\displaystyle {\bar {A}}C+{\bar {B}}{\bar {C}}}$${\displaystyle {\bar {A}}C+{\bar {B}}C}$${\displaystyle C}$

ในแคลคูลัสเชิงประพจน์ ตัวอักษร (literal) ก็คือตัวแปรเชิงประพจน์หรือนิเสธของตัวแปรนั้น นั่นเอง

ในแคลคูลัสเชิงภาคแสดงลิเทอรัลคือสูตรอะตอมิกหรือนิเสธของสูตรอะตอมิก โดยที่สูตรอะตอมิกคือสัญลักษณ์ภาคแสดงที่ใช้กับเทอม บางเทอม ซึ่งเทอมเหล่านั้นถูกกำหนดแบบเวียนซ้ำโดยเริ่มจากสัญลักษณ์ค่าคงที่ สัญลักษณ์ตัวแปร และ สัญลักษณ์ ฟังก์ชันตัวอย่างเช่น เป็นลิเทอรั ล เชิงลบที่มีสัญลักษณ์ค่าคงที่ 2 สัญลักษณ์ตัวแปรx , yสัญลักษณ์ฟังก์ชันf , gและสัญลักษณ์ภาคแสดงQ${\displaystyle P(t_{1},\ldots ,t_{n})}$${\displaystyle \neg Q(f(g(x),y,2),x)}$