De waarheidstabellen is een strategielogica die eenvoudigweg de geldigheid vaststelt van verschillende voorstellen met betrekking tot elke situatie, dat wil zeggen, bepaalt de voorwaarden die nodig zijn om waar te zijn een voorgestelde verklaring, waardoor classificatie in tautologische) tegenstrijdig (uitspraken zijn in de meeste gevallen onwaar) of contingent (uitspraken die niet veel waar en onwaar kunnen zijn, neigen niet naar één richting).
Het laat verschillende aspecten van de bewering toe, zoals de voorwaarden waardoor deze waar is en wat zijn de logische conclusies, dat wil zeggen of de voorgestelde bewering waar of onwaar is. Deze tafel is rond 1880 bedacht door Charles Sander Peirce, maar het meest gebruikte is het vernieuwde model van Luidwin Wittgenstein in 1921.
De constructie van de tabel is gebaseerd op het gebruik van een letter voor de resultaatvariabelen en ze zijn vervuld en er wordt gezegd dat ze waar zijn, in het tegenovergestelde geval dat ze niet vervuld zijn, krijgen ze de naam false, bijvoorbeeld:: "Als we verhuizen, gaat mijn hond dood . " Variabelen: A: als hij beweegt- B: de hond sterft.
Als van beide variabelen wordt gezegd dat ze waar zijn, krijgen ze de letter (V) toegewezen en vertegenwoordigen ze de positiviteit van de bewering.Als aan sommige variabelen niet wordt voldaan, krijgen ze de letter (F) toegewezen, dit is niet de onwaarheid van de bewering, aangezien met Als aan slechts één variabele is voldaan, kan deze als waar worden aangeduid, dat hangt af van de instructie. Wanneer beide waarden te allen tijde waar zijn, wordt er gezegd dat er een vervoeging in de verklaring is, aan de andere kant, als twee echte resultaten worden verkregen en dan de ene waar en de andere onwaar, wordt er gezegd dat er een disjunctie is.
