1 / 15

Logic & Critical Reasoning

Logic & Critical Reasoning. Truth-Table Analysis. What is a Truth-Table .

pink
Télécharger la présentation

Logic & Critical Reasoning

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Logic & Critical Reasoning Truth-Table Analysis

  2. What is a Truth-Table • A truth-table is a table that shows the distribution of truth-values, T and F, over a set of compound formulas. The distribution is determined by a fixed set of truth-values as inputs, the definitions of the truth functions involved in the compound formulas, and the determination of dependency. • The fixed set of inputs are under ‘P’ and ‘Q’ at the left. The final value of the formula is under the main connective in bold. Computation goes from subordinate operators to the main connective

  3. Rules for Constructing a Truth-Table • The number of rows that a truth-table needs is determined by the number of basic statement letters involved in the set of formulas that will be involved in the computation. The formula for the rows is 2n where n = the number of basic statement letters involved. The most common instances are where n = 1, 2, and 3; in those cases one needs 2, 4, and 8 rows respectively. • The number of columns that a truth-table needs is determined by the number of basic statement letters and formulas involved. There should be one column for each basic statement letter and formula. • For each formula the computation proceeds from weakest scope to widest scope. The operation in the widest scope is computed last. And if two sub-formulas of a a formula have no greater weight in scope, then it does not matter which one is computed first.

  4. Distributing Basic Truth-Values in the Rows • A truth-table is a computation based on an initial set of input truth-values. These values are fixed. The number of basic rows is given by the number of basic statement letters, each of which can be either true or false. Thus, in making a truth-table, one needs to account for every possible combination of how T and F can be distributed amongst the basic statement letters prior to computing the compound cases via the definition. • The easiest way to make sure all possible distributions of T and F have been accounted for, one can use the procedure of halving and alternating Ts and Fs, explained by the case in which one has 3 basic statement letters, P, Q, and R, and thus 8 rows, by the formula 2n. • Set the first column under P to 4Ts, followed by 4Fs. • Set the second column under Q to 2Ts, 2Fs, 2Ts, 2Fs • Set the third column under R to 1T, 1F, 1T, 1F, 1T, 1F, 1T, 1F

  5. The Case of Eight Rows Since the formula has 3 basic statement letters, we need 8 rows, following the procedure we have every possible combination of T and F that applies to P, Q, and R.

  6. What can a truth-table be used for? A truth-table can be used to determine the answer to a number of questions that logicians care about. • Where ϕ and φ are arbitrary formulas of PL, a truth-table can be used to answer any of the following questions: • Is ϕ a tautology, contingent, or a contradiction? • Are ϕ and φ logically consistent or inconsistent? • Are ϕ and φlogically equivalent? • Is φ a valid consequence of ϕ?

  7. Definitions of Key Logical Concepts Let the truth-profile of a formula be the column underneath the main connective of the formula.

  8. Examples: Tautology • A statement or formula is a tautology when it is always true. On a truth-table this means that the truth-profile contains only Ts.

  9. Examples: Contingent • A statement or formula is contingent when it is true sometimes, and false other times. On a truth-table this means that the truth-profile contains some Ts and some Fs.

  10. Examples: Contradiction • A statement or formula is a contradiction when it is always false. On a truth-table this means that the truth-profile contains only Fs.

  11. Examples: Consistency • Two or more statements or formulas are consistent when they can be true at the same time. On a truth-table this means that there is at least one row where there is a T in the truth-profile of each formula involved.

  12. Examples: Inconsistency • Two or more statements or formulas are inconsistent when they can never be true at the same time. On a truth-table this means that there is no row where there is a T in the truth-profile of all of the formulas involved.

  13. Examples: Equivalence • Two or more statements or formulas are logically equivalent when they mean the same thing from the point of view of logic. On a truth-table this means that the the truth-profile of all the formulas involved is identical.

  14. Examples: Validity • An argument is valid when it is impossible for the premises to be true and the conclusion false. On a truth-table this means that there is no row where there is a T in the truth-profile of each premise, and an F in the truth-profile of the conclusion. • Let (P  Q) and P be the premises, and Q the conclusion

  15. Examples: Invalidity • An argument is invalid when it is possible for the premises to be true and the conclusion false. On a truth-table this means that there is at least one row where there is a T in the truth-profile of each premise, and an F in the truth-profile of the conclusion. • Let (P  Q) and P be the premises, and Q the conclusion

More Related