Η ανάλυση (resolution), είναι μια μέθοδος απόδειξης θεωρημάτων για την λογική πρώτης τάξης, η οποία αποφεύγει τα κυριότερα εμπόδια συνδυαστικής φύσης, στο δρόμο προς την αποτελεσματικότητα (efficiency). Τέτοια εμπόδια εμφανίζονταν σε προγενέστερες αποδεικτικές μεθόδους, οι οποίες στηρίζονταν στο βασικό θεώρημα του Herbrand. Πριν παρουσιάσουμε τη μέθοδο της ανάλυσης, δίνουμε κάποιους απαραίτητους ορισμούς.