Οι πίνακες αλήθειας είναι μια λογική στρατηγικής απλά που καθορίζει την εγκυρότητα πολλών προτάσεων σχετικά με οποιαδήποτε κατάσταση, δηλαδή, καθορίζει τις προϋποθέσεις που είναι απαραίτητες για να είναι αληθινή μια προτεινόμενη δήλωση, επιτρέποντας να ταξινομηθεί σε ταυτολογικά (ισχύουν για οποιαδήποτε κατάσταση) αντιφατικές (οι δηλώσεις είναι ψευδείς στις περισσότερες περιπτώσεις) ή ενδεχόμενες (δηλώσεις που δεν μπορούν να είναι πολλές αληθείς και ψευδείς δεν τείνουν προς μία κατεύθυνση).
Επιτρέπει διαφορετικές πτυχές της δήλωσης, όπως οι προϋποθέσεις που την καθιστούν αληθινή και ποια είναι τα λογικά της συμπεράσματα, δηλαδή εάν η προτεινόμενη δήλωση είναι αληθής ή ψευδής. Αυτός ο πίνακας επινοήθηκε από τον Charles Sander Peirce γύρω στο 1880, αλλά το πιο ευρέως χρησιμοποιούμενο είναι το ενημερωμένο μοντέλο του Luidwin Wittgenstein το 1921.
Η κατασκευή του πίνακα βασίζεται στη χρήση ενός γράμματος για τις μεταβλητές αποτελεσμάτων και πληρούνται και λέγεται ότι είναι αληθές, στην αντίθετη περίπτωση ότι δεν πληρούνται, τους αποδίδεται το όνομα του ψευδούς, για παράδειγμα: Δήλωση: "Αν κινούμαστε, ο σκύλος μου πεθαίνει . " Μεταβλητές: Α: Εάν κινείται- Β: ο σκύλος πεθαίνει.
Εάν λέγεται ότι ισχύει και για τις δύο μεταβλητές, το γράμμα (V) τους αντιστοιχίζεται και αντιπροσωπεύει τη θετικότητα της δήλωσης, εάν ορισμένες από τις μεταβλητές δεν πληρούνται, το γράμμα (F) τους έχει ανατεθεί, αυτό δεν αντιπροσωπεύει το ψέμα της δήλωσης αφού με Εάν ικανοποιείται μόνο μία μεταβλητή, μπορεί να οριστεί ως αληθής, που θα εξαρτάται από τη δήλωση. Όταν και οι δύο τιμές είναι αληθινές ανά πάσα στιγμή, λέγεται ότι υπάρχει μια σύζευξη στη δήλωση, από την άλλη πλευρά, εάν ληφθούν δύο αληθινά αποτελέσματα και έπειτα το ένα αληθές και το άλλο ψευδές, λέγεται ότι υπάρχει μια διάσπαση.
