Силлогистикалық логикада төртбұрышты қарама-қайшылықта A, E, I және O мәлімдеме формаларын пайдаланып, категориялық силлогизмдерді құрудың 256 мүмкін тәсілі бар. 256 нысанның тек 24-і жарамды. 24 жарамды форманың 15-і шартсыз, 9-ы шартты түрде жарамды.