διαιρετικὸς συλλογισμός