DOCSLIB.ORG

Notes for Logic and Foundations (Uvic Math 122)

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Notes for Logic and Foundations (Uvic Math 122) Notes for Math 122 Logic and Foundations Gary MacGillivray University of Victoria 2 Contents 1 Propositional Logic 9 1.1 Statements . .9 1.2 Compound Statements and Logical Connectives . 10 1.3 Negation of Statements . 11 1.4 Truth Tables . 12 1.5 Tautologies and Contradictions . 14 1.6 Logical Equivalence . 15 1.7 Converse and Contrapositive of an Implication . 17 1.8 Necessary and Sufficient Conditions . 18 1.9 The Laws of Logic . 20 1.10 Using Only And, Or, and Not . 23 1.11 Logical Implication . 25 1.12 Valid Arguments and Inference Rules . 26 1.13 Proving Implications . 32 1.14 Exercises . 33 2 Quantifiers and Written Proofs 39 2.1 Open Statements . 39 2.2 Quantifiers . 40 2.3 Negating Statements Involving Quantifiers . 46 3 4 CONTENTS 2.4 Some Examples of Written Proofs . 49 2.5 Exercises . 52 3 Set Theory 57 3.1 What is a Set? . 57 3.2 Describing Sets . 58 3.3 Special Sets . 60 3.4 Set Membership Set Equality and Set Complement . 60 3.5 The Empty Set . 61 3.6 Subsets . 62 3.7 Proper Subsets . 65 3.8 The Power Set . 66 3.9 Venn Diagrams . 67 3.10 Set Operations . 68 3.11 The Laws of Set Theory . 70 3.12 Investigating Set Relationships with Venn Diagrams . 73 3.13 Counting sets and subsets . 77 3.14 Inclusion - Exclusion . 78 3.15 Exercises . 83 4 Induction and Recursion 87 4.1 Recursive definitions . 87 4.2 Induction: An introduction . 90 4.3 PMI { The Principle of Mathematical Induction . 94 4.4 PMI and the Well Ordering Principle . 98 4.5 Examples Involving Multi-term Recursively Defined Sequences 98 4.6 The Weak Form of Induction . 100 4.7 Examples Involving Summations . 102 4.8 Examples Involving Inequalities . 104 CONTENTS 5 4.9 Finding Formulas for Sequences Generated by 1-Term Recur- rences . 106 4.10 A subtraction game . 109 4.11 Induction Analogies and Fallacies . 111 4.12 Exercises . 112 5 Number Theory 115 5.1 Floors and Ceilings . 115 5.2 The Division Algorithm . 116 5.3 Representing Numbers in Base b ................. 118 5.4 The number of digits . 121 5.5 Divisibility . 122 5.6 Prime numbers and unique factorization . 124 5.7 Using the FTA in Proofs of Irrationality . 126 5.8 There are Infinitely Many Primes . 127 5.9 The Seive of Eratosthenes . 128 5.10 The gcd .............................. 129 5.11 The lcm .............................. 130 5.12 The Euclidean Algorithm . 132 5.13 Integer Linear Combinations . 134 5.14 Relatively prime integers . 135 5.15 Modular Arithmetic (Congruences) . 137 5.16 Testing for divisibility by 3 and by 9 . 141 5.17 Exercises . 142 6 Cartesian Products and Relations 147 6.1 Cartesian Products . 147 6.2 The Definition of a Relation . 150 6.3 Properties of Relations: An Introduction . 152 6 CONTENTS 6.4 Reflexive Relations . 154 6.5 Symmetric Relations . 155 6.6 Transitive Relations . 156 6.7 Anti-symmetric Relations . 157 6.8 Relations and Matrices . 159 6.9 Equivalence Relations . 160 6.10 Equivalence Relations and Partitions . 162 6.11 Exercises . 166 7 Functions 171 7.1 The Definition of a Function and Some Related Terminology . 172 7.2 Equality of functions . 174 7.3 1-1 Functions . 175 7.4 Onto Functions . 177 7.5 Bijections . 179 7.6 Function composition . 180 7.7 The identity function . 181 7.8 Inverse functions . 182 7.9 Exercises . 184 8 Cardinality of sets 187 8.1 1-1 Correspondences and Cardinality . 187 8.2 Cardinality of finite sets . 188 8.3 Cardinality of infinite sets . 189 8.4 Countable Sets and Sequences . 190 8.5 Examples of Countably Infinite Sets . 192 8.6 Proving Countability . 194 8.7 Uncountable Sets . 195 8.8 Proving Uncountability . 196 CONTENTS 7 8.9 Other cardinalities . 197 8.10 Exercises . 198 8 CONTENTS Chapter 1 Propositional Logic 1.1 Statements A statement or proposition is an assertion which is either true or false, though you may not know which. That is, a statement is something that has a truth value. Example 1.1.1 Each of the following is a statement. p a 1. There are no integers a and b so that 2 = b . (True.) 2. For all integers n ≥ 0, the number n2 + n + 41 is prime. (False.) 3. Every even positive integer except 2 is the sum of two prime numbers. (Goldbach's Conjecture: unknown.) Question 1.1.2 Why does of the following fail to be a statement? 1. Have a good day. 2. Are the Canucks a good team? 3. x > 100. We usually use (lower case) letters to denote statements. A good way to think of these letters is as variables that can take the values \true" and \false". Variables that can take two possible values are sometimes called Boolean variables, after the British logician George Boole. 9 10 CHAPTER 1. PROPOSITIONAL LOGIC 1.2 Compound Statements and Logical Con- nectives A compound statement is formed by joining other statements together with logical connectives, several of which are defined below. The statements that are joined together can themselves be compound statements. Let p and q be statements. • The conjunction of p and q is the statement denoted by p ^ q, and read as \p and q", which asserts that p and q are both true. Notice that the wedge symbol looks vaguely like the letter \n" in and. • The disjunction of p and q is the statement denoted by p _ q, and read as \p or q", which asserts that either p is true or q is true, or both. Notice that this is the inclusive sense of the word \or". Also, the vee symbol looks vaguely like the letter \r" in or. • An implication is the statement denoted by p ! q, and read as \p implies q" or \if p then q", which asserts that if p is true, then q is also true. We define that statement p ! q to be true when p is false. • A biconditional, or double implication, is the statement denoted by p $ q, and read \ p if and only if q", which asserts that p and q have the same truth value. Notice that the assertion being made can also be phrased as \if p is true then q is true, and if q is true then p is true." Example 1.2.1 The following are compound statements. 1. (e < π) ^ (57 is prime) (False because \(57 is prime)" is false.) p p p 1+ 5 1+ 5 2. ( 2 is rational) _ ( 2 < 2) (True because \( 2 < 2)" is true). 3. (52 < 0) ! (1 < 2) (True because \(52 < 0)" is false.) 4. (1 < 2) ! (52 < 0) (False because the \1 < 2" is true and \52 < 0" is false. 5. (1 = 2) $ (the number of primes is finite (True because both \(1 = 2)" and \( the number of primes is finite)" are false.) 1.3. NEGATION OF STATEMENTS 11 The third and fourth points in the example demonstrate that the statements p ! q and q ! p are different. That is, for given truth values of p and q, the two statements can have different truth values. In the algebra of real numbers, the order of operations is brackets, exponents, multiply and divide, add and subtract. Thus −32(4 × 2 + 52) = −9(8 + 25) = −9(33) = −264. That is, exponents have precedence over multiplication and division, which in turn have precedence over addition and subtraction. Brackets are used for clarity, or to force operations to occur in a particular order. In propositional logic there is no precedence among logical connectives. Ex- pressions are interpreted from left to right. Brackets are used for clarity, or to force certain connectives to be applied in a particular order. The statement p _ q ! r is actually (p _ q) ! r, though it is far better to simply regard the unbracketed statement as ambiguous and insist on proper bracketing. It is good practice to always use brackets for clarity instead of assuming that the reader is able to interpret the meaning you intend. 1.3 Negation of Statements The negation of p is the statement denoted by :p, and read as \not p," which asserts that p is not true. Sometimes it is helpful to think of :p as asserting \it is not the case that p is true". Thus, :p is false when p is true, and true when p is false. The negation of :p is the statement with the opposite truth value as :p. Thus :(:p) is just another name for p. Notice that \:" is not a logical connective. It does not join two statements together. Instead, it applies to a single (possibly compound) statement. Negation has precedence over logical connectives. This means that p _:q is p _ (:q), although it is more common to write p _:q than it is to write p _ (:q). It is common practice only use brackets for negation when it is a compound statement being negated, and not when an individual statement is being negated, as in :(a ! b) ^ :(c _:d). 12 CHAPTER 1. PROPOSITIONAL LOGIC 1.4 Truth Tables A truth table gives the truth values of a statement for all possible combina- tions of truth values of the other statements from which it is made. Here and elsewhere, 0 and 1 will represent the truth values \false" and \true", respectively. The following is a truth table for the compound statements defined in the Section 1.2. p q p ^ q p _ q p ! q p $ q 0 0 0 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 1 1 1 1 1 1 And here is a truth table for negation.
Load more

Recommended publications
  • Deduction (I) Tautologies, Contradictions And
    D (I) T, & L L October , Tautologies, contradictions and contingencies Consider the truth table of the following formula: p (p ∨ p) () If you look at the final column, you will notice that the truth value of the whole formula depends on the way a truth value is assigned to p: the whole formula is true if p is true and false if p is false. Contrast the truth table of (p ∨ p) in () with the truth table of (p ∨ ¬p) below: p ¬p (p ∨ ¬p) () If you look at the final column, you will notice that the truth value of the whole formula does not depend on the way a truth value is assigned to p. The formula is always true because of the meaning of the connectives. Finally, consider the truth table table of (p ∧ ¬p): p ¬p (p ∧ ¬p) () This time the formula is always false no matter what truth value p has. Tautology A statement is called a tautology if the final column in its truth table contains only ’s. Contradiction A statement is called a contradiction if the final column in its truth table contains only ’s. Contingency A statement is called a contingency or contingent if the final column in its truth table contains both ’s and ’s. Let’s consider some examples from the book. Can you figure out which of the following sentences are tautologies, which are contradictions and which contingencies? Hint: the answer is the same for all the formulas with a single row. () a. (p ∨ ¬p), (p → p), (p → (q → p)), ¬(p ∧ ¬p) b.
    [Show full text]
  • Propositional Logic (PDF)
    Mathematics for Computer Science Proving Validity 6.042J/18.062J Instead of truth tables, The Logic of can try to prove valid formulas symbolically using Propositions axioms and deduction rules Albert R Meyer February 14, 2014 propositional logic.1 Albert R Meyer February 14, 2014 propositional logic.2 Proving Validity Algebra for Equivalence The text describes a for example, bunch of algebraic rules to the distributive law prove that propositional P AND (Q OR R) ≡ formulas are equivalent (P AND Q) OR (P AND R) Albert R Meyer February 14, 2014 propositional logic.3 Albert R Meyer February 14, 2014 propositional logic.4 1 Algebra for Equivalence Algebra for Equivalence for example, The set of rules for ≡ in DeMorgan’s law the text are complete: ≡ NOT(P AND Q) ≡ if two formulas are , these rules can prove it. NOT(P) OR NOT(Q) Albert R Meyer February 14, 2014 propositional logic.5 Albert R Meyer February 14, 2014 propositional logic.6 A Proof System A Proof System Another approach is to Lukasiewicz’ proof system is a start with some valid particularly elegant example of this idea. formulas (axioms) and deduce more valid formulas using proof rules Albert R Meyer February 14, 2014 propositional logic.7 Albert R Meyer February 14, 2014 propositional logic.8 2 A Proof System Lukasiewicz’ Proof System Lukasiewicz’ proof system is a Axioms: particularly elegant example of 1) (¬P → P) → P this idea. It covers formulas 2) P → (¬P → Q) whose only logical operators are 3) (P → Q) → ((Q → R) → (P → R)) IMPLIES (→) and NOT. The only rule: modus ponens Albert R Meyer February 14, 2014 propositional logic.9 Albert R Meyer February 14, 2014 propositional logic.10 Lukasiewicz’ Proof System Lukasiewicz’ Proof System Prove formulas by starting with Prove formulas by starting with axioms and repeatedly applying axioms and repeatedly applying the inference rule.
    [Show full text]
  • Sets, Propositional Logic, Predicates, and Quantifiers
    COMP 182 Algorithmic Thinking Sets, Propositional Logic, Luay Nakhleh Computer Science Predicates, and Quantifiers Rice University !1 Reading Material ❖ Chapter 1, Sections 1, 4, 5 ❖ Chapter 2, Sections 1, 2 !2 ❖ Mathematics is about statements that are either true or false. ❖ Such statements are called propositions. ❖ We use logic to describe them, and proof techniques to prove whether they are true or false. !3 Propositions ❖ 5>7 ❖ The square root of 2 is irrational. ❖ A graph is bipartite if and only if it doesn’t have a cycle of odd length. ❖ For n>1, the sum of the numbers 1,2,3,…,n is n2. !4 Propositions? ❖ E=mc2 ❖ The sun rises from the East every day. ❖ All species on Earth evolved from a common ancestor. ❖ God does not exist. ❖ Everyone eventually dies. !5 ❖ And some of you might already be wondering: “If I wanted to study mathematics, I would have majored in Math. I came here to study computer science.” !6 ❖ Computer Science is mathematics, but we almost exclusively focus on aspects of mathematics that relate to computation (that can be implemented in software and/or hardware). !7 ❖Logic is the language of computer science and, mathematics is the computer scientist’s most essential toolbox. !8 Examples of “CS-relevant” Math ❖ Algorithm A correctly solves problem P. ❖ Algorithm A has a worst-case running time of O(n3). ❖ Problem P has no solution. ❖ Using comparison between two elements as the basic operation, we cannot sort a list of n elements in less than O(n log n) time. ❖ Problem A is NP-Complete.
    [Show full text]
  • On Axiomatizations of General Many-Valued Propositional Calculi
    On axiomatizations of general many-valued propositional calculi Arto Salomaa Turku Centre for Computer Science Joukahaisenkatu 3{5 B, 20520 Turku, Finland asalomaa@utu.fi Abstract We present a general setup for many-valued propositional logics, and compare truth-table and axiomatic stipulations within this setup. Results are obtained concerning cases, where a finitary axiomatization is (resp. is not) possible. Related problems and examples are discussed. 1 Introduction Many-valued systems of logic are constructed by introducing one or more truth- values between truth and falsity. Truth-functions associated with the logical connectives then operate with more than two truth-values. For instance, the truth-function D associated with the 3-valued disjunction might be defined for the truth-values T;I;F (true, intermediate, false) by D(x; y) = max(x; y); where T > I > F: If the truth-function N associated with negation is defined by N(T ) = F; N(F ) = T;N(I) = I; the law of the excluded middle is not valid, provided \validity" means that the truth-value t results for all assignments of values for the variables. On the other hand, many-valuedness is not so obvious if the axiomatic method is used. As such, an ordinary axiomatization is not many-valued. Truth-tables are essential for the latter. However, in many cases it is possi- ble to axiomatize many-valued logics and, conversely, find many-valued models for axiom systems. In this paper, we will investigate (for propositional log- ics) interconnections between such \truth-value stipulations" and \axiomatic stipulations". A brief outline of the contents of this paper follows.
    [Show full text]
  • Mathematical Logic Part One
    Mathematical Logic Part One An Important Question How do we formalize the logic we've been using in our proofs? Where We're Going ● Propositional Logic (Today) ● Basic logical connectives. ● Truth tables. ● Logical equivalences. ● First-Order Logic (Today/Friday) ● Reasoning about properties of multiple objects. Propositional Logic A proposition is a statement that is, by itself, either true or false. Some Sample Propositions ● Puppies are cuter than kittens. ● Kittens are cuter than puppies. ● Usain Bolt can outrun everyone in this room. ● CS103 is useful for cocktail parties. ● This is the last entry on this list. More Propositions ● I came in like a wrecking ball. ● I am a champion. ● You're going to hear me roar. ● We all just entertainers. Things That Aren't Propositions CommandsCommands cannotcannot bebe truetrue oror false.false. Things That Aren't Propositions QuestionsQuestions cannotcannot bebe truetrue oror false.false. Things That Aren't Propositions TheThe firstfirst halfhalf isis aa validvalid proposition.proposition. I am the walrus, goo goo g'joob JibberishJibberish cannotcannot bebe truetrue oror false. false. Propositional Logic ● Propositional logic is a mathematical system for reasoning about propositions and how they relate to one another. ● Every statement in propositional logic consists of propositional variables combined via logical connectives. ● Each variable represents some proposition, such as “You liked it” or “You should have put a ring on it.” ● Connectives encode how propositions are related, such as “If you liked it, then you should have put a ring on it.” Propositional Variables ● Each proposition will be represented by a propositional variable. ● Propositional variables are usually represented as lower-case letters, such as p, q, r, s, etc.
    [Show full text]
  • From Fuzzy Sets to Crisp Truth Tables1 Charles C. Ragin
    From Fuzzy Sets to Crisp Truth Tables1 Charles C. Ragin Department of Sociology University of Arizona Tucson, AZ 85721 USA [email protected] Version: April 2005 1. Overview One limitation of the truth table approach is that it is designed for causal conditions are simple presence/absence dichotomies (i.e., Boolean or "crisp" sets). Many of the causal conditions that interest social scientists, however, vary by level or degree. For example, while it is clear that some countries are democracies and some are not, there are many in-between cases. These countries are not fully in the set of democracies, nor are they fully excluded from this set. Fortunately, there is a well-developed mathematical system for addressing partial membership in sets, fuzzy-set theory. Section 2 of this paper provides a brief introduction to the fuzzy-set approach, building on Ragin (2000). Fuzzy sets are especially powerful because they allow researchers to calibrate partial membership in sets using values in the interval between 0 (nonmembership) and 1 (full membership) without abandoning core set theoretic principles, for example, the subset relation. Ragin (2000) demonstrates that the subset relation is central to the analysis of multiple conjunctural causation, where several different combinations of conditions are sufficient for the same outcome. While fuzzy sets solve the problem of trying to force-fit cases into one of two categories (membership versus nonmembership in a set), they are not well suited for conventional truth table analysis. With fuzzy sets, there is no simple way to sort cases according to the combinations of causal conditions they display because each case's array of membership scores may be unique.
    [Show full text]
  • 12 Propositional Logic
    CHAPTER 12 ✦ ✦ ✦ ✦ Propositional Logic In this chapter, we introduce propositional logic, an algebra whose original purpose, dating back to Aristotle, was to model reasoning. In more recent times, this algebra, like many algebras, has proved useful as a design tool. For example, Chapter 13 shows how propositional logic can be used in computer circuit design. A third use of logic is as a data model for programming languages and systems, such as the language Prolog. Many systems for reasoning by computer, including theorem provers, program verifiers, and applications in the field of artificial intelligence, have been implemented in logic-based programming languages. These languages generally use “predicate logic,” a more powerful form of logic that extends the capabilities of propositional logic. We shall meet predicate logic in Chapter 14. ✦ ✦ ✦ ✦ 12.1 What This Chapter Is About Section 12.2 gives an intuitive explanation of what propositional logic is, and why it is useful. The next section, 12,3, introduces an algebra for logical expressions with Boolean-valued operands and with logical operators such as AND, OR, and NOT that Boolean algebra operate on Boolean (true/false) values. This algebra is often called Boolean algebra after George Boole, the logician who first framed logic as an algebra. We then learn the following ideas. ✦ Truth tables are a useful way to represent the meaning of an expression in logic (Section 12.4). ✦ We can convert a truth table to a logical expression for the same logical function (Section 12.5). ✦ The Karnaugh map is a useful tabular technique for simplifying logical expres- sions (Section 12.6).
    [Show full text]
  • Logic, Proofs
    CHAPTER 1 Logic, Proofs 1.1. Propositions A proposition is a declarative sentence that is either true or false (but not both). For instance, the following are propositions: “Paris is in France” (true), “London is in Denmark” (false), “2 < 4” (true), “4 = 7 (false)”. However the following are not propositions: “what is your name?” (this is a question), “do your homework” (this is a command), “this sentence is false” (neither true nor false), “x is an even number” (it depends on what x represents), “Socrates” (it is not even a sentence). The truth or falsehood of a proposition is called its truth value. 1.1.1. Connectives, Truth Tables. Connectives are used for making compound propositions. The main ones are the following (p and q represent given propositions): Name Represented Meaning Negation p “not p” Conjunction p¬ q “p and q” Disjunction p ∧ q “p or q (or both)” Exclusive Or p ∨ q “either p or q, but not both” Implication p ⊕ q “if p then q” Biconditional p → q “p if and only if q” ↔ The truth value of a compound proposition depends only on the value of its components. Writing F for “false” and T for “true”, we can summarize the meaning of the connectives in the following way: 6 1.1. PROPOSITIONS 7 p q p p q p q p q p q p q T T ¬F T∧ T∨ ⊕F →T ↔T T F F F T T F F F T T F T T T F F F T F F F T T Note that represents a non-exclusive or, i.e., p q is true when any of p, q is true∨ and also when both are true.
    [Show full text]
  • Lecture 1: Propositional Logic
    Lecture 1: Propositional Logic Syntax Semantics Truth tables Implications and Equivalences Valid and Invalid arguments Normal forms Davis-Putnam Algorithm 1 Atomic propositions and logical connectives An atomic proposition is a statement or assertion that must be true or false. Examples of atomic propositions are: “5 is a prime” and “program terminates”. Propositional formulas are constructed from atomic propositions by using logical connectives. Connectives false true not and or conditional (implies) biconditional (equivalent) A typical propositional formula is The truth value of a propositional formula can be calculated from the truth values of the atomic propositions it contains. 2 Well-formed propositional formulas The well-formed formulas of propositional logic are obtained by using the construction rules below: An atomic proposition is a well-formed formula. If is a well-formed formula, then so is . If and are well-formed formulas, then so are , , , and . If is a well-formed formula, then so is . Alternatively, can use Backus-Naur Form (BNF) : formula ::= Atomic Proposition formula formula formula formula formula formula formula formula formula formula 3 Truth functions The truth of a propositional formula is a function of the truth values of the atomic propositions it contains. A truth assignment is a mapping that associates a truth value with each of the atomic propositions . Let be a truth assignment for . If we identify with false and with true, we can easily determine the truth value of under . The other logical connectives can be handled in a similar manner. Truth functions are sometimes called Boolean functions. 4 Truth tables for basic logical connectives A truth table shows whether a propositional formula is true or false for each possible truth assignment.
    [Show full text]
  • Propositional Logic, Truth Tables, and Predicate Logic (Rosen, Sections 1.1, 1.2, 1.3) TOPICS
    Propositional Logic, Truth Tables, and Predicate Logic (Rosen, Sections 1.1, 1.2, 1.3) TOPICS • Propositional Logic • Logical Operations • Equivalences • Predicate Logic Logic? What is logic? Logic is a truth-preserving system of inference Truth-preserving: System: a set of If the initial mechanistic statements are transformations, based true, the inferred on syntax alone statements will be true Inference: the process of deriving (inferring) new statements from old statements Proposi0onal Logic n A proposion is a statement that is either true or false n Examples: n This class is CS122 (true) n Today is Sunday (false) n It is currently raining in Singapore (???) n Every proposi0on is true or false, but its truth value (true or false) may be unknown Proposi0onal Logic (II) n A proposi0onal statement is one of: n A simple proposi0on n denoted by a capital leJer, e.g. ‘A’. n A negaon of a proposi0onal statement n e.g. ¬A : “not A” n Two proposi0onal statements joined by a connecve n e.g. A ∧ B : “A and B” n e.g. A ∨ B : “A or B” n If a connec0ve joins complex statements, parenthesis are added n e.g. A ∧ (B∨C) Truth Tables n The truth value of a compound proposi0onal statement is determined by its truth table n Truth tables define the truth value of a connec0ve for every possible truth value of its terms Logical negaon n Negaon of proposi0on A is ¬A n A: It is snowing. n ¬A: It is not snowing n A: Newton knew Einstein. n ¬A: Newton did not know Einstein.
    [Show full text]
  • Valid Arguments
    CHAPTER 3 Logic Copyright © 2015, 2011, 2007 Pearson Education, Inc. Section 3.7, Slide 1 3.7 Arguments and Truth Tables Copyright © 2015, 2011, 2007 Pearson Education, Inc. Section 3.7, Slide 2 Objectives 1. Use truth tables to determine validity. 2. Recognize and use forms of valid and invalid arguments. Copyright © 2015, 2011, 2007 Pearson Education, Inc. Section 3.7, Slide 3 Arguments An Argument consists of two parts: Premises: the given statements. Conclusion: the result determined by the truth of the premises. Valid Argument: The conclusion is true whenever the premises are assumed to be true. Invalid Argument: Also called a fallacy Truth tables can be used to test validity. Copyright © 2015, 2011, 2007 Pearson Education, Inc. Section 3.7, Slide 4 Testing the Validity of an Argument with a Truth Table Copyright © 2015, 2011, 2007 Pearson Education, Inc. Section 3.7, Slide 5 Example: Did the Pickiest Logician in the Galaxy Foul Up? In Star Trek, the spaceship Enterprise is hit by an ion storm, causing the power to go out. Captain Cook wonders if Mr. Scott is aware of the problem. Mr. Spock replies, “If Mr. Scott is still with us, the power should be on momentarily.” Moments later the ship’s power comes back on. Argument: If Mr. Scott is still with us, then the power will come on. The power comes on. Therefore, Mr. Scott is still with us. Determine whether the argument is valid or invalid. Copyright © 2015, 2011, 2007 Pearson Education, Inc. Section 3.7, Slide 6 Example continued Solution Step 1: p: Mr.
    [Show full text]
  • Logic and Truth Tables Truth Tables Are Logical Devices That Predominantly Show up in Mathematics, Computer Science, and Philosophy Applications
    Logic and Truth Tables Truth tables are logical devices that predominantly show up in Mathematics, Computer Science, and Philosophy applications. They are used to determine the truth or falsity of propositional statements by listing all possible outcomes of the truth-values for the included propositions. Proposition - A sentence that makes a claim (can be an assertion or a denial) that may be either true or false. This is a Proposition – It is a complete sentence and Examples – “Roses are beautiful.” makes a claim. The claim may or may not be true. This is NOT a proposition – It is a question and does “Did you like the movie?” not assert or deny anything. Conjunction – an “and” statement. Given two propositions, p and q, “p and q” forms a conjunction. The conjunction “p and q” is only true if both p and q are true. The truth table can be set up as follows… This symbol can be used to represent “and”. Truth Table for Conjunction “p and q” (p ˄ q) p q p and q True True True True False False False True False False False False Examples – Determine whether the Conjunction is True or False. a. The capital of Ireland is Dublin and penguins live in Antarctica. This Conjunction is True because both of the individual propositions are true. b. A square is a quadrilateral and fish are reptiles. This Conjunction is False because the second proposition is false. Fish are not reptiles. 1 Disjunction – an “or” statement. Given two propositions, p and q, “p or q” forms a disjunction.
    [Show full text]