טבלאות האמת היא ההיגיון אסטרטגיה פשוט שמבסס את תוקפו של מספר הצעות לגבי כל מצב, כלומר, קובע את התנאים הדרושים כדי להיות אמירה הציע נכון, המאפשר לסווג טאוטולוגית (נכונים בכל מצב) סותרות (הצהרות כוזבות ברוב המקרים) או תלויות (אמירות שלא יכולות להיות נכונות ושקריות רבות אינן נוטות לכיוון אחד).
הוא מאפשר היבטים שונים של ההצהרה כגון התנאים שהופכים אותה לאמיתית ומה המסקנות ההגיוניות שלה, כלומר אם ההצהרה המוצעת נכונה או שקרית. טבלה זו הומצאה על ידי צ'רלס סנדר פירס בסביבות 1880, אך הנפוץ ביותר הוא המודל המעודכן של לוידווין ויטגנשטיין בשנת 1921.
בניית הטבלה מבוססת על שימוש באות עבור משתני התוצאה והם מתקיימים ואומרים שהם נכונים, אחרת מוקצה להם שם שקר, למשל: הצהרה: "אם נזוז, הכלב שלי מת . " משתנים: ת: אם הוא זז- ב: הכלב מת.
אם נאמר שהוא נכון לשני המשתנים, האות (V) מוקצה ומייצגת את החיוביות של המשפט, אם חלק מהמשתנים לא מתקיימים, האות (F) מוקצית להם, זה לא מייצג את השקר של ההצהרה שכן עם אם מסתפק רק במשתנה אחד, ניתן להגדיר אותו כנכון, זה יהיה תלוי בהצהרה. כאשר שני הערכים נכונים בכול עת, הוא אמר כי ישן נטייה בדוח, ומצד שני, אם שתי תוצאות נכונות מתקבלות ואז אחד אמיתי ואת השווא האחר, נאמר כי קיים ניתק.
