2. Statements The most important idea in logic: Validity of an argument.

3. Statements The most important idea in logic: Validity of an argument. However, there are other important concepts that concern statements.

4. Statements Logical Truths (Tautologies) Contradictions Contingent Statements

5. Logical Truth A statement is a logic truth (tautology) iff it cannot be F.

6. Logical Truth A statement is a logic truth (tautology) iff it cannot be F. So its truth table has all Ts on the output column.

7. Logical Truth A statement is a logic truth (tautology) iff it cannot be F. So its truth table has all Ts on the output column. Samples: P>P Pv-P

8. Logical Truth A statement is a logic truth (tautology) iff it cannot be F. Samples: P>P Pv-P Good news: Logical Truths are always true.

9. Logical Truth A statement is a logic truth (tautology) iff it cannot be F. Samples: P>P Pv-P Good news: Logical Truths are always true. Bad news: Logical Truths do not carry information.

10. Logical Truth A statement is a logic truth (tautology) iff it cannot be F. Samples: P>P Pv-P Good news: Logical Truths are always true. Bad news: Logical Truths do not carry information. Desperate Weather Report: If it is raining then it is raining.

11. Logical Truth To show a statement A is a logic truth... with a table: The output row for A has all Ts. P P>P T F T * P P v -P T T F F T T *

12. Logical Truth To show a statement A is a logic truth... with a table: The output row for A has all Ts. with a proof: Prove A. P P>P T F T * P P v -P T T F F T T *

13. Logical Truth To show a statement A is a logic truth... with a table: The output row for A has all Ts. with a proof: Prove A. P P>P T F T * P P v -P T T F F T T * P>PGOAL

14. Logical Truth To show a statement A is a logic truth... with a table: The output row for A has all Ts. with a proof: Prove A. P P>P T F T * P P v -P T T F F T T * 1) PPA 2) P>P1-1 >I

15. Logical Truth To show a statement A is a logic truth... with a table: The output row for A has all Ts. with a proof: Prove A. P P>P T F T * P P v -P T T F F T T * 1) PPA 2) P>P1-1 >I Pv-PGOAL

16. Logical Truth To show a statement A is a logic truth... with a table: The output row for A has all Ts. with a proof: Prove A. P P>P T F T * P P v -P T T F F T T * 1) PPA 2) P>P1-1 >I 1) -(Pv-P)PA ?&-? Pv-P1-? -O

17. Logical Truth To show a statement A is a logic truth... with a table: The output row for A has all Ts. with a proof: Prove A. P P>P T F T * P P v -P T T F F T T * 1) PPA 2) P>P1-1 >I 1) -(Pv-P)PA 2) -P&--P 1 DM 3) Pv-P1-2 -O

18. Logical Truth To show a statement A is a logic truth... with a table: The output row for A has all Ts. with a proof: Prove A. with a tree:The tree for -A closes. P P>P T F T * P P v -P T T F F T T * 1) PPA 2) P>P1-1 >I 1) -(Pv-P)PA 2) -P&--P 1 DM 3) Pv-P1-2 -O

19. Logical Truth To show a statement A is a logic truth... with a table: The output row for A has all Ts. with a proof: Prove A. with a tree:The tree for -A closes. P P>P T F T * P P v -P T T F F T T * 1) PPA 2) P>P1-1 >I -(P>P) 1) -(Pv-P)PA 2) -P&--P 1 DM 3) Pv-P1-2 -O

20. Logical Truth To show a statement A is a logic truth... with a table: The output row for A has all Ts. with a proof: Prove A. with a tree:The tree for -A closes. P P>P T F T * P P v -P T T F F T T * 1) PPA 2) P>P1-1 >I -(P>P) P -P * 1) -(Pv-P)PA 2) -P&--P 1 DM 3) Pv-P1-2 -O

21. Logical Truth To show a statement A is a logic truth... with a table: The output row for A has all Ts. with a proof: Prove A. with a tree:The tree for -A closes. P P>P T F T * P P v -P T T F F T T * 1) PPA 2) P>P1-1 >I -(P>P) P -P * -(Pv-P) 1) -(Pv-P)PA 2) -P&--P 1 DM 3) Pv-P1-2 -O

22. Logical Truth To show a statement A is a logic truth... with a table: The output row for A has all Ts. with a proof: Prove A. with a tree:The tree for -A closes. P P>P T F T * P P v -P T T F F T T * 1) PPA 2) P>P1-1 >I -(P>P) P -P * -(Pv-P) -P --P * 1) -(Pv-P)PA 2) -P&--P 1 DM 3) Pv-P1-2 -O

23. Logical Truth To show a statement A is a logic truth (tautology)... with a table: The output row for A has all Ts. with a proof: Prove A. with a tree:The tree for -A closes. For more click here