Mantık bağlaçları ve niceleyiciler, algoritmaların ve matematiksel mantık ifadelerinin temel unsurlarıdır. Mantık bağlaçları, “ve”, “veya”, “değil” gibi bağlantıları kullanarak ifadeleri birbirine bağlar. Niceleyiciler ise “her”, “bazı” gibi kavramları ifade eder.