Biçimsel mantıkta, öncüllerden çıkarılacak sonuçların ya da vargıların doğruluk, yanlışlık koşullarını gösteren kalıplar.