Analytique

Branche de la logique aristotélicienne traitant de la démonstration rigoureuse, partant de prémisses certaines pour aboutir à des conclusions nécessaires, par distinction de la dialectique.