Het definiëren van Truth Tables

Waarheidstafels is een strategie van eenvoudige logica dat de geldigheid van een aantal voorstellen stelt met betrekking tot een situatie, dat wil zeggen, is bepalend voor de voorwaarden om waar te zijn van een voorgestelde verklaring, waardoor ingedeeld in tautolgicos (waar zijn voor elke situatie) tegenstrijdige (zijn verklaringen vals in de meeste gevallen) of voorwaardelijke (verklaringen die niet veel waar en onwaar kan zijn is er geen neiging tot één sense ).

verklaring maakt het mogelijk verschillende aspecten van de voorwaarden die het waar te maken en wat zijn hun conclusies logica, dat wil zeggen, of de voorgestelde verklaring is waar of onwaar. Deze tabel is bedacht door Charles Sander Peirce over in 1880, maar de meest gebruikte is de bijgewerkte model van Luidwin Wittgenstein in 1921.

La bouw van de tafel is gebaseerd op het gebruik van een brief aan de uitkomst variabelen en hetzelfde wordt voldaan zeggen dat ze waar zijn, anders zijn, indien niet voldaan wijst ze de naam van valse, door bijvoorbeeld: Stelling: Als we verhuisd, mijn hond overlijdt . Variabelen: A: Als stille manier B: hond sterft.

Als je zegt dat geldt zowel variabelen de letter (V) worden toegewezen en vertegenwoordigt de positiviteit van de verklaring, als sommige van de variabelen niet wordt voldaan worden de letter (F) toegewezen is dit niet het valsheid de verklaring en dat een ontmoeting met een enkele variabele kan als waar worden aangewezen, die afhankelijk zijn van de verklaring. Wanneer beide waarden zijn true bij alle gelegenheden wordt gezegd dat er een conjugacin in de verklaring wordt echter s twee echte resultaten verkregen en vervolgens een waar is en de andere valse wordt gezegd dat er een disyuncin .

.