สเปรดชีตเชิงตรรกะคือสเปรดชีตที่สูตรต่างๆอยู่ในรูปแบบของข้อจำกัดเชิงตรรกะ แทนที่จะเป็นคำจำกัดความของฟังก์ชัน

ใน ระบบ สเปรดชีต แบบดั้งเดิม เช่นExcelเซลล์จะถูกแบ่งออกเป็นเซลล์ที่ "ระบุโดยตรง" และเซลล์ที่ "คำนวณ" และสูตรที่ใช้ในการกำหนดค่าของเซลล์ที่คำนวณนั้นเป็น "สูตรเชิงฟังก์ชัน" กล่าวคือ สำหรับทุกชุดค่าผสมของเซลล์ที่ระบุโดยตรง สูตรจะกำหนดค่าที่ไม่ซ้ำกันสำหรับเซลล์ที่คำนวณ สเปรดชีตเชิงตรรกะผ่อนคลายข้อจำกัดเหล่านี้โดยการยกเลิกความแตกต่างระหว่างเซลล์ที่ระบุโดยตรงและเซลล์ที่คำนวณ และเปลี่ยนจากคำจำกัดความเชิงฟังก์ชันไปเป็นข้อจำกัดเชิงตรรกะ

เพื่อแสดงให้เห็นถึงความแตกต่างระหว่างสเปรดชีตแบบดั้งเดิมและสเปรดชีตเชิงตรรกะ ลองพิจารณาสเปรดชีตตัวเลขอย่างง่ายที่มีสามเซลล์ ได้แก่ a, b และ c แต่ละเซลล์รับ ค่า จำนวนเต็ม เพียงค่าเดียว และมีสูตรระบุว่าค่าของเซลล์ที่สามคือผลรวมของค่าในอีกสองเซลล์

หากนำมาใช้งานในรูปแบบสเปรดชีตแบบดั้งเดิม สเปรดชีตนี้จะอนุญาตให้ผู้ใช้ป้อนค่าลงในเซลล์ a และ b จากนั้นระบบจะคำนวณค่าในเซลล์ c โดยอัตโนมัติ ตัวอย่างเช่น หากผู้ใช้ป้อน 1 ลงในเซลล์ a และ 2 ลงในเซลล์ b ระบบจะคำนวณค่า 3 ให้กับเซลล์ c

หากนำมาใช้ในรูปแบบสเปรดชีตเชิงตรรกะ ผู้ใช้จะสามารถป้อนค่าลงในเซลล์ใดก็ได้ ตัวอย่างเช่น ผู้ใช้สามารถพิมพ์ 1 ลงในเซลล์ a และ 2 ลงในเซลล์ b แล้วสเปรดชีตจะคำนวณค่า 3 สำหรับเซลล์ c หรืออีกทางหนึ่ง ผู้ใช้สามารถพิมพ์ 2 ลงในเซลล์ b และ 3 ลงในเซลล์ c แล้วสเปรดชีตจะคำนวณค่า 1 สำหรับเซลล์ a เป็นต้น

ในกรณีนี้ สูตรเป็นฟังก์ชัน และฟังก์ชันนั้นสามารถผกผันได้ โดยทั่วไปแล้ว สูตรไม่จำเป็นต้องเป็นฟังก์ชัน และฟังก์ชันไม่จำเป็นต้องผกผันได้ ตัวอย่างเช่น ในกรณีนี้ เราสามารถเขียนสูตรที่เกี่ยวข้องกับอสมการและฟังก์ชันที่ไม่สามารถผกผันได้ (เช่น รากที่สอง) โดยทั่วไปแล้ว เราสามารถสร้างสเปรดชีตด้วยข้อมูลเชิงสัญลักษณ์แทนที่จะเป็นตัวเลข และเขียนข้อจำกัดเชิงตรรกะใดๆ บนข้อมูลนี้ได้