Soryt (logika)