Presentation is loading. Please wait.

Presentation is loading. Please wait.

TRUTH TABLES The general truth tables for each of the connectives tell you the value of any possible statement for each of the connectives. Negation ~p.

Similar presentations


Presentation on theme: "TRUTH TABLES The general truth tables for each of the connectives tell you the value of any possible statement for each of the connectives. Negation ~p."— Presentation transcript:

1

2 TRUTH TABLES The general truth tables for each of the connectives tell you the value of any possible statement for each of the connectives. Negation ~p FT TF

3 Conjunction (Asserts both statements are true.) p·q TTT TFF FFT FFF

4 Disjunction (Asserts at least one statement is true.) pvq TTT TTF FTT FFF

5 Material Equivalence (Asserts the statements always have the same truth value.) p q TTT TFF FFT FTF

6 Material Implication (Antecedent sufficient for consequent) One must assume that a material implication is true unless one can prove that its false. If you make a perfect score on all your work, then you make an A for the course. p q TTT TFF FTT FTF

7 To determine how many lines a truth table will have use this formula: Lines = 2 n n = the number of different letters (simple statements) in the statement. Starting with the left most letter, divide the table in half. Assign T as the value of the left most letter for the first half of the table, and F as its value for the second half of the table. Move to the next new letter to the right, and cut the alternation between T & F in half. Repeat this process until you are alternating between T& F line by line for the right most letter.

8 Tautology: A statement in which the form necessitates that it be true. Its truth table has T on every line beneath its main symbol. Self-Contradiction: A statement in which the form necessitates that it be false. Its truth table has F on every line beneath its main symbol. Contingent Statement: A statement in which the truth value is contingent upon the particular combination of values you have for its letters (simple statements). Its truth table has T on some lines and F on some lines beneath its main symbol.

9 Logically Equivalent Statements: The two statements have the same truth value on every line beneath their main symbols. Logically Contradictory Statements: The two statements have the opposite truth values on every line beneath their main symbols.

10 Consistent Statements: 1)The statements are neither equivalent nor contradictory. 2)There is at least one line on which both statements are true. Inconsistent Statements: 1)The statements are neither equivalent nor contradictory. 2)There is not at least one line on which both statements are true.

11 If there is no line on which all the premises are true and the conclusion false, then the argument is valid. If there is even one line on which all the premises are true and the conclusion false, then the argument is invalid.


Download ppt "TRUTH TABLES The general truth tables for each of the connectives tell you the value of any possible statement for each of the connectives. Negation ~p."

Similar presentations


Ads by Google