เพื่อความเข้าใจที่ดีขึ้นกระดาษฉันพยายามที่จะเข้าใจสั้น ๆ ของตรรกะจุดน้อยที่สุดคงที่ มีบางจุดที่ฉันติดอยู่
ถ้าเป็นกราฟและ
เป็นผู้ประกอบการในไบนารีสัมพันธ์Pผมไม่เข้าใจว่าทำไมจุดอย่างน้อยคงของคือการปิดสกรรมกริยาของEตัวอย่างนำมาจากFinite Model Theory และ Applications (หน้า 60)
เมื่อขยายตรรกะลำดับที่หนึ่งด้วยตัวดำเนินการตัวชี้อย่างน้อยคงที่ฉันไม่เข้าใจว่าทำไมสัญลักษณ์ความสัมพันธ์จำเป็นต้องเป็นค่าบวกในสูตร บวกหมายถึงว่าการเกิดทุกครั้งในสูตรนั้นอยู่ในสัญลักษณ์ลบจำนวนคู่
ไม่มีใครมีความคิดว่าสิ่งที่ดีในการอ่านเพื่อให้เข้าใจง่ายของตรรกะตัวชี้อย่างน้อยคงที่และไวยากรณ์และความหมายของมัน?