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