220 likes | 242 Views
Delve into the essence of logic by exploring logical truths, tautologies, and the validity of statements. Learn how to identify logic truths and prove arguments with truth tables and proofs. Click to uncover more!
E N D
Statements The most important idea in logic: Validity of an argument.
Statements The most important idea in logic: Validity of an argument. However, there are other important concepts that concern statements.
Statements Logical Truths (Tautologies) Contradictions Contingent Statements
Logical Truth A statement is a logic truth (tautology) iff it cannot be F.
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.
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
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.
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.
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.
Logical Truth P P>P TT FT * P P v -P TT F FT T * To show a statement A is a logic truth ... with a table: The output row for A has all Ts.
Logical Truth P P>P TT FT * P P v -P TT F FT T * 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.
Logical Truth P P>P TT FT * P P v -P TT F FT T * 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 GOAL
Logical Truth P P>P TT FT * P P v -P TT F FT T * 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. 1) P PA 2) P>P 1-1 >I
Logical Truth P P>P TT FT * P P v -P TT F FT T * 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. 1) P PA 2) P>P 1-1 >I Pv-P GOAL
Logical Truth P P>P TT FT * P P v -P TT F FT T * 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. 1) P PA 2) P>P 1-1 >I 1) -(Pv-P) PA ?&-? Pv-P 1-? -O
Logical Truth P P>P TT FT * P P v -P TT F FT T * 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. 1) P PA 2) P>P 1-1 >I 1) -(Pv-P) PA 2) -P&--P 1 DM 3) Pv-P 1-2 -O
Logical Truth 1) P PA 2) P>P 1-1 >I 1) -(Pv-P) PA 2) -P&--P 1 DM 3) Pv-P 1-2 -O P P>P TT FT * P P v -P TT F FT T * 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.
Logical Truth 1) P PA 2) P>P 1-1 >I 1) -(Pv-P) PA 2) -P&--P 1 DM 3) Pv-P 1-2 -O P P>P TT FT * P P v -P TT F FT T * 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)
Logical Truth 1) P PA 2) P>P 1-1 >I 1) -(Pv-P) PA 2) -P&--P 1 DM 3) Pv-P 1-2 -O P P>P TT FT * P P v -P TT F FT T * 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 -P *
Logical Truth 1) P PA 2) P>P 1-1 >I 1) -(Pv-P) PA 2) -P&--P 1 DM 3) Pv-P 1-2 -O P P>P TT FT * P P v -P TT F FT T * 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 -P * -(Pv-P)
Logical Truth 1) P PA 2) P>P 1-1 >I 1) -(Pv-P) PA 2) -P&--P 1 DM 3) Pv-P 1-2 -O P P>P TT FT * P P v -P TT F FT T * 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 -P * -(Pv-P) -P --P *
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