Η λογική εξετάζει τη δομή των έγκυρων επιχειρημάτων. Ρωτάει: αν οι προϋποθέσεις είναι αληθείς, προκύπτει απαραίτητα και το συμπέρασμα; Η τυπική λογική χρησιμοποιεί σύμβολα για να αναπαραστήσει δηλώσεις και κανόνες για να εξαγάγει συμπεράσματα. Οι συλλογισμοί του Αριστοτέλη ήταν ένα πρώιμο σύστημα. Η σύγχρονη λογική, που αναπτύχθηκε από τους Φρέγκε, Ράσελ και άλλους, στηρίζει τα μαθηματικά και την επιστήμη των υπολογιστών.

Η προτασιακή λογική ασχολείται με προτάσεις που είναι αληθείς ή ψευδείς και συνδετικούς όρους όπως ΚΑΙ, Ή και ΟΧΙ. Η κατηγορηματική λογική προσθέτει ποσοδείκτες: «για όλα» και «υπάρχει». Αυτά τα συστήματα επισημοποιούν τη συλλογιστική και αποκαλύπτουν σφάλματα.

Η λογική είναι το θεμέλιο της μαθηματικής απόδειξης. Κάθε θεώρημα βασίζεται σε λογική εξαγωγή συμπερασμάτων από αξιώματα. Στην πληροφορική, οι λογικές πύλες εφαρμόζουν λογικές πράξεις και οι γλώσσες προγραμματισμού χρησιμοποιούν λογικές συνθήκες. Το θέμα διασταυρώνεται επίσης με τη φιλοσοφία, τη γλωσσολογία και την τεχνητή νοημοσύνη. Η σαφής σκέψη σχετικά με τη συλλογιστική είναι χρήσιμη πολύ πέρα ​​από τα μαθηματικά.

• Μελέτη έγκυρης συλλογιστικής
• Χρησιμοποιεί σύμβολα και τυπικούς κανόνες
• Προτασιακή και κατηγορηματική λογική
• Θεμέλια της απόδειξης και της πληροφορικής