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