Matematikte mantık, önermeler, bağlantılar ve çıkarımlar gibi kavramlarla gösterilir. Önerme, doğru ya da yanlış olan bir ifadedir. Bağlantı, iki veya daha fazla önermenin bir araya getirilerek yeni bir önerme oluşturulmasıdır. Çıkarım, bir veya daha fazla önermeden yeni bir önerme türetme işlemidir.