The truth tables is a strategy logic simply that establishes the validity of several proposals regarding any situation, ie, determines the conditions necessary to be true a proposed statement, allowing classified into tautological (are true for any situation) contradictory (statements are false in most cases) or contingent (statements that can not be many true and false are not inclined to one direction).
It allows different aspects of the statement such as the conditions that make it true and what its logical conclusions are, that is, if the proposed statement is true or false. This table was devised by Charles Sander Peirce around 1880, but the most widely used is the updated model by Luidwin Wittgenstein in 1921.
The construction of the table is based on the use of a letter for the result variables and they are fulfilled and they are said to be true, in the opposite case that they are not fulfilled, they are assigned the name of false, for example: Statement: "If we move, my dog dies . " Variables: A: If it moves- B: the dog dies.
If it is said to be true to both variables, the letter (V) is assigned and represents the positivity of the statement, if some of the variables are not fulfilled, the letter (F) is assigned to them, this does not represent the falsehood of the statement since with If only one variable is satisfied, it can be designated as true, that will depend on the statement. When both values are true on all occasions, it is said that there is a conjugation in the statement, on the other hand, if two true results are obtained and then one true and the other false, it is said that there is a disjunction.