Tables of overdid

A truth table, or table values of truth, is a table that shows the truth value of a proposition consists, for each combination of values of truth that can be assigned to its components. These tables can be constructed making an interpretation of logical signs: not, or, and, if... then, Yes, and only if, respectively. The interpretation corresponds to the sense that these operations are within the reasoning.

A correspondence between the results of these tables and deduction mathematical logic can be set. As a result, truth tables constitute a decision method to check whether a proposition is or not a theorem.

For the construction of the table is assigned the value 0 (zero) and 1 (one) to a certain proposition to a false proposition.

Disclaimer: The value of truth of denial is the opposite of the proposition denied.

P	 P
1	0
0	1

Disclaimer: The value of truth of denial is the opposite of the proposition denied.

P	Q	P
1	1	1
1	0	1
0	1	1
0	0	0

Disjunction: The disjunction is false only if they are its two components.

P	Q	P
1	1	1
1	0	0
0	1	0
0	0	0