লজিক কেআর সিস্টেমের চিহ্নগুলিতে যুক্তি ফাংশনগুলি কীভাবে প্রয়োগ করা উচিত তার আনুষ্ঠানিক শব্দাথর্ সরবরাহ করতে ব্যবহৃত হয়।