Οι μέθοδοι της μαθηματικής λογικής χρησιμοποιούνται από τους μαθηματικούς για την απόδειξη θεωρημάτων και από τους επιστήμονες πληροφορικής για να αποδείξουν ότι οι αλγόριθμοι που σχεδιάζουν και υλοποιούν παρέχουν στην έξοδο τα αναμενόμενα αποτελέσματα.

Η ανάπτυξη δε της τεχνητής νοημοσύνης οδήγησε στην ανάπτυξη υπολογιστικών μεθόδων και γλωσσών προγραμματισμού (πχ PROLOG) που υλοιποιούν αποδεικτικές διαδικασίες βασισμένες στη μαθηματική λογική.

Η μαθηματική λογική κυρίως ασχολείται με τις σχέσεις μεταξύ προτάσεων και με την ορθότητα των συλλογισμών.