DOCSLIB.ORG

2.1 Logical Equivalence and Truth Tables

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
2.1 Logical Equivalence and Truth Tables 2.1 Logical Equivalence and Truth Tables 2.1 Logical Equivalence and Truth Tables 1 / 9 The truth table for a given statement form displays the truth values that correspond to all possible combinations of truth values for its component statement variables. Statement (propositional) forms Definition A statement form (or propositional form) is an expression made up of statement variables (such as p,q, and r) and logical connectives (such as ∼; ^, and _) that becomes a statement when actual statements are substituted for the component statement variables. 2.1 Logical Equivalence and Truth Tables 2 / 9 Statement (propositional) forms Definition A statement form (or propositional form) is an expression made up of statement variables (such as p,q, and r) and logical connectives (such as ∼; ^, and _) that becomes a statement when actual statements are substituted for the component statement variables. The truth table for a given statement form displays the truth values that correspond to all possible combinations of truth values for its component statement variables. 2.1 Logical Equivalence and Truth Tables 2 / 9 2 p _ (q ^ r) 3 (p _ q) ^ (p _ r) Truth Tables for statement forms Examples Find the truth tables for the following statement forms: 1 p_ ∼ q 2.1 Logical Equivalence and Truth Tables 3 / 9 3 (p _ q) ^ (p _ r) Truth Tables for statement forms Examples Find the truth tables for the following statement forms: 1 p_ ∼ q 2 p _ (q ^ r) 2.1 Logical Equivalence and Truth Tables 3 / 9 Truth Tables for statement forms Examples Find the truth tables for the following statement forms: 1 p_ ∼ q 2 p _ (q ^ r) 3 (p _ q) ^ (p _ r) 2.1 Logical Equivalence and Truth Tables 3 / 9 The logical equivalence of statement forms P and Q is denoted by writing P ≡ Q. Two statements are called logically equivalent if, and only if, they have logically equivalent forms when identical component statement variables are used to replace identical component statements. Logical Equivalence Definition Two statement forms are called logically equivalent if, and only if, they have identical truth values for each possible substitution for their statement variables. 2.1 Logical Equivalence and Truth Tables 4 / 9 Two statements are called logically equivalent if, and only if, they have logically equivalent forms when identical component statement variables are used to replace identical component statements. Logical Equivalence Definition Two statement forms are called logically equivalent if, and only if, they have identical truth values for each possible substitution for their statement variables. The logical equivalence of statement forms P and Q is denoted by writing P ≡ Q. 2.1 Logical Equivalence and Truth Tables 4 / 9 Logical Equivalence Definition Two statement forms are called logically equivalent if, and only if, they have identical truth values for each possible substitution for their statement variables. The logical equivalence of statement forms P and Q is denoted by writing P ≡ Q. Two statements are called logically equivalent if, and only if, they have logically equivalent forms when identical component statement variables are used to replace identical component statements. 2.1 Logical Equivalence and Truth Tables 4 / 9 2 Show that ∼ (p _ q) ≡∼ p^ ∼ q. 3 Show that ∼ (p ^ q) and ∼ p^ ∼ q are not logically equivalent. Examples Examples (de Morgan's Laws) 1 We have seen that ∼ (p ^ q) and ∼ p_ ∼ q are logically equivalent. 2.1 Logical Equivalence and Truth Tables 5 / 9 3 Show that ∼ (p ^ q) and ∼ p^ ∼ q are not logically equivalent. Examples Examples (de Morgan's Laws) 1 We have seen that ∼ (p ^ q) and ∼ p_ ∼ q are logically equivalent. 2 Show that ∼ (p _ q) ≡∼ p^ ∼ q. 2.1 Logical Equivalence and Truth Tables 5 / 9 Examples Examples (de Morgan's Laws) 1 We have seen that ∼ (p ^ q) and ∼ p_ ∼ q are logically equivalent. 2 Show that ∼ (p _ q) ≡∼ p^ ∼ q. 3 Show that ∼ (p ^ q) and ∼ p^ ∼ q are not logically equivalent. 2.1 Logical Equivalence and Truth Tables 5 / 9 Example: p_ ∼ p. Example: p^ ∼ p. Tautologies and Contradictions Definition A tautology is a statement form that is always true regardless of the truth values of the individual statements substituted for its statement variables. A contradiction is a statement form that is always false regardless of the truth values of the individual statements substituted for its statement variables. 2.1 Logical Equivalence and Truth Tables 6 / 9 Example: p^ ∼ p. Tautologies and Contradictions Definition A tautology is a statement form that is always true regardless of the truth values of the individual statements substituted for its statement variables. Example: p_ ∼ p. A contradiction is a statement form that is always false regardless of the truth values of the individual statements substituted for its statement variables. 2.1 Logical Equivalence and Truth Tables 6 / 9 Tautologies and Contradictions Definition A tautology is a statement form that is always true regardless of the truth values of the individual statements substituted for its statement variables. Example: p_ ∼ p. A contradiction is a statement form that is always false regardless of the truth values of the individual statements substituted for its statement variables. Example: p^ ∼ p. 2.1 Logical Equivalence and Truth Tables 6 / 9 Logical Equivalence 2.1 Logical Equivalence and Truth Tables 7 / 9 Logical Equivalence 2.1 Logical Equivalence and Truth Tables 8 / 9 Examples Examples Use the logical equivalence of Theorem 2.1.1 to prove that the following are logical equivalences: 1 (∼ p _ q) ^ (∼ q) ≡∼ (p _ q). 2 (p^ ∼ q) _ (∼ p _ q) ≡ t. 2.1 Logical Equivalence and Truth Tables 9 / 9.
Load more

Recommended publications
  • 1 Elementary Set Theory
    1 Elementary Set Theory Notation: fg enclose a set. f1; 2; 3g = f3; 2; 2; 1; 3g because a set is not defined by order or multiplicity. f0; 2; 4;:::g = fxjx is an even natural numberg because two ways of writing a set are equivalent. ; is the empty set. x 2 A denotes x is an element of A. N = f0; 1; 2;:::g are the natural numbers. Z = f:::; −2; −1; 0; 1; 2;:::g are the integers. m Q = f n jm; n 2 Z and n 6= 0g are the rational numbers. R are the real numbers. Axiom 1.1. Axiom of Extensionality Let A; B be sets. If (8x)x 2 A iff x 2 B then A = B. Definition 1.1 (Subset). Let A; B be sets. Then A is a subset of B, written A ⊆ B iff (8x) if x 2 A then x 2 B. Theorem 1.1. If A ⊆ B and B ⊆ A then A = B. Proof. Let x be arbitrary. Because A ⊆ B if x 2 A then x 2 B Because B ⊆ A if x 2 B then x 2 A Hence, x 2 A iff x 2 B, thus A = B. Definition 1.2 (Union). Let A; B be sets. The Union A [ B of A and B is defined by x 2 A [ B if x 2 A or x 2 B. Theorem 1.2. A [ (B [ C) = (A [ B) [ C Proof. Let x be arbitrary. x 2 A [ (B [ C) iff x 2 A or x 2 B [ C iff x 2 A or (x 2 B or x 2 C) iff x 2 A or x 2 B or x 2 C iff (x 2 A or x 2 B) or x 2 C iff x 2 A [ B or x 2 C iff x 2 (A [ B) [ C Definition 1.3 (Intersection).
    [Show full text]
  • Relative Interpretations and Substitutional Definitions of Logical
    Relative Interpretations and Substitutional Definitions of Logical Truth and Consequence MIRKO ENGLER Abstract: This paper proposes substitutional definitions of logical truth and consequence in terms of relative interpretations that are extensionally equivalent to the model-theoretic definitions for any relational first-order language. Our philosophical motivation to consider substitutional definitions is based on the hope to simplify the meta-theory of logical consequence. We discuss to what extent our definitions can contribute to that. Keywords: substitutional definitions of logical consequence, Quine, meta- theory of logical consequence 1 Introduction This paper investigates the applicability of relative interpretations in a substi- tutional account of logical truth and consequence. We introduce definitions of logical truth and consequence in terms of relative interpretations and demonstrate that they are extensionally equivalent to the model-theoretic definitions as developed in (Tarski & Vaught, 1956) for any first-order lan- guage (including equality). The benefit of such a definition is that it could be given in a meta-theoretic framework that only requires arithmetic as ax- iomatized by PA. Furthermore, we investigate how intensional constraints on logical truth and consequence force us to extend our framework to an arithmetical meta-theory that itself interprets set-theory. We will argue that such an arithmetical framework still might be in favor over a set-theoretical one. The basic idea behind our definition is both to generate and evaluate substitution instances of a sentence ' by relative interpretations. A relative interpretation rests on a function f that translates all formulae ' of a language L into formulae f(') of a language L0 by mapping the primitive predicates 0 P of ' to formulae P of L while preserving the logical structure of ' 1 Mirko Engler and relativizing its quantifiers by an L0-definable formula.
    [Show full text]
  • Against Logical Form
    Against logical form Zolta´n Gendler Szabo´ Conceptions of logical form are stranded between extremes. On one side are those who think the logical form of a sentence has little to do with logic; on the other, those who think it has little to do with the sentence. Most of us would prefer a conception that strikes a balance: logical form that is an objective feature of a sentence and captures its logical character. I will argue that we cannot get what we want. What are these extreme conceptions? In linguistics, logical form is typically con- ceived of as a level of representation where ambiguities have been resolved. According to one highly developed view—Chomsky’s minimalism—logical form is one of the outputs of the derivation of a sentence. The derivation begins with a set of lexical items and after initial mergers it splits into two: on one branch phonological operations are applied without semantic effect; on the other are semantic operations without phono- logical realization. At the end of the first branch is phonological form, the input to the articulatory–perceptual system; and at the end of the second is logical form, the input to the conceptual–intentional system.1 Thus conceived, logical form encompasses all and only information required for interpretation. But semantic and logical information do not fully overlap. The connectives “and” and “but” are surely not synonyms, but the difference in meaning probably does not concern logic. On the other hand, it is of utmost logical importance whether “finitely many” or “equinumerous” are logical constants even though it is hard to see how this information could be essential for their interpretation.
    [Show full text]
  • Truth-Bearers and Truth Value*
    Truth-Bearers and Truth Value* I. Introduction The purpose of this document is to explain the following concepts and the relationships between them: statements, propositions, and truth value. In what follows each of these will be discussed in turn. II. Language and Truth-Bearers A. Statements 1. Introduction For present purposes, we will define the term “statement” as follows. Statement: A meaningful declarative sentence.1 It is useful to make sure that the definition of “statement” is clearly understood. 2. Sentences in General To begin with, a statement is a kind of sentence. Obviously, not every string of words is a sentence. Consider: “John store.” Here we have two nouns with a period after them—there is no verb. Grammatically, this is not a sentence—it is just a collection of words with a dot after them. Consider: “If I went to the store.” This isn’t a sentence either. “I went to the store.” is a sentence. However, using the word “if” transforms this string of words into a mere clause that requires another clause to complete it. For example, the following is a sentence: “If I went to the store, I would buy milk.” This issue is not merely one of conforming to arbitrary rules. Remember, a grammatically correct sentence expresses a complete thought.2 The construction “If I went to the store.” does not do this. One wants to By Dr. Robert Tierney. This document is being used by Dr. Tierney for teaching purposes and is not intended for use or publication in any other manner. 1 More precisely, a statement is a meaningful declarative sentence-type.
    [Show full text]
  • Boolean Satisfiability Solvers: Techniques and Extensions
    Boolean Satisfiability Solvers: Techniques and Extensions Georg WEISSENBACHER a and Sharad MALIK a a Princeton University Abstract. Contemporary satisfiability solvers are the corner-stone of many suc- cessful applications in domains such as automated verification and artificial intelli- gence. The impressive advances of SAT solvers, achieved by clever engineering and sophisticated algorithms, enable us to tackle Boolean Satisfiability (SAT) problem instances with millions of variables – which was previously conceived as a hope- less problem. We provide an introduction to contemporary SAT-solving algorithms, covering the fundamental techniques that made this revolution possible. Further, we present a number of extensions of the SAT problem, such as the enumeration of all satisfying assignments (ALL-SAT) and determining the maximum number of clauses that can be satisfied by an assignment (MAX-SAT). We demonstrate how SAT solvers can be leveraged to solve these problems. We conclude the chapter with an overview of applications of SAT solvers and their extensions in automated verification. Keywords. Satisfiability solving, Propositional logic, Automated decision procedures 1. Introduction Boolean Satisfibility (SAT) is the problem of checking if a propositional logic formula can ever evaluate to true. This problem has long enjoyed a special status in computer science. On the theoretical side, it was the first problem to be classified as being NP- complete. NP-complete problems are notorious for being hard to solve; in particular, in the worst case, the computation time of any known solution for a problem in this class increases exponentially with the size of the problem instance. On the practical side, SAT manifests itself in several important application domains such as the design and verification of hardware and software systems, as well as applications in artificial intelligence.
    [Show full text]
  • The Substitutional Analysis of Logical Consequence
    THE SUBSTITUTIONAL ANALYSIS OF LOGICAL CONSEQUENCE Volker Halbach∗ dra version ⋅ please don’t quote ónd June óþÕä Consequentia ‘formalis’ vocatur quae in omnibus terminis valet retenta forma consimili. Vel si vis expresse loqui de vi sermonis, consequentia formalis est cui omnis propositio similis in forma quae formaretur esset bona consequentia [...] Iohannes Buridanus, Tractatus de Consequentiis (Hubien ÕÉßä, .ì, p.óóf) Zf«±§Zh± A substitutional account of logical truth and consequence is developed and defended. Roughly, a substitution instance of a sentence is dened to be the result of uniformly substituting nonlogical expressions in the sentence with expressions of the same grammatical category. In particular atomic formulae can be replaced with any formulae containing. e denition of logical truth is then as follows: A sentence is logically true i all its substitution instances are always satised. Logical consequence is dened analogously. e substitutional denition of validity is put forward as a conceptual analysis of logical validity at least for suciently rich rst-order settings. In Kreisel’s squeezing argument the formal notion of substitutional validity naturally slots in to the place of informal intuitive validity. ∗I am grateful to Beau Mount, Albert Visser, and Timothy Williamson for discussions about the themes of this paper. Õ §Z êZo±í At the origin of logic is the observation that arguments sharing certain forms never have true premisses and a false conclusion. Similarly, all sentences of certain forms are always true. Arguments and sentences of this kind are for- mally valid. From the outset logicians have been concerned with the study and systematization of these arguments, sentences and their forms.
    [Show full text]
  • 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]
  • Notes on Mathematical Logic David W. Kueker
    Notes on Mathematical Logic David W. Kueker University of Maryland, College Park E-mail address: [email protected] URL: http://www-users.math.umd.edu/~dwk/ Contents Chapter 0. Introduction: What Is Logic? 1 Part 1. Elementary Logic 5 Chapter 1. Sentential Logic 7 0. Introduction 7 1. Sentences of Sentential Logic 8 2. Truth Assignments 11 3. Logical Consequence 13 4. Compactness 17 5. Formal Deductions 19 6. Exercises 20 20 Chapter 2. First-Order Logic 23 0. Introduction 23 1. Formulas of First Order Logic 24 2. Structures for First Order Logic 28 3. Logical Consequence and Validity 33 4. Formal Deductions 37 5. Theories and Their Models 42 6. Exercises 46 46 Chapter 3. The Completeness Theorem 49 0. Introduction 49 1. Henkin Sets and Their Models 49 2. Constructing Henkin Sets 52 3. Consequences of the Completeness Theorem 54 4. Completeness Categoricity, Quantifier Elimination 57 5. Exercises 58 58 Part 2. Model Theory 59 Chapter 4. Some Methods in Model Theory 61 0. Introduction 61 1. Realizing and Omitting Types 61 2. Elementary Extensions and Chains 66 3. The Back-and-Forth Method 69 i ii CONTENTS 4. Exercises 71 71 Chapter 5. Countable Models of Complete Theories 73 0. Introduction 73 1. Prime Models 73 2. Universal and Saturated Models 75 3. Theories with Just Finitely Many Countable Models 77 4. Exercises 79 79 Chapter 6. Further Topics in Model Theory 81 0. Introduction 81 1. Interpolation and Definability 81 2. Saturated Models 84 3. Skolem Functions and Indescernables 87 4. Some Applications 91 5.
    [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]
  • Solving the Boolean Satisfiability Problem Using the Parallel Paradigm Jury Composition
    Philosophæ doctor thesis Hoessen Benoît Solving the Boolean Satisfiability problem using the parallel paradigm Jury composition: PhD director Audemard Gilles Professor at Universit´ed'Artois PhD co-director Jabbour Sa¨ıd Assistant Professor at Universit´ed'Artois PhD co-director Piette C´edric Assistant Professor at Universit´ed'Artois Examiner Simon Laurent Professor at University of Bordeaux Examiner Dequen Gilles Professor at University of Picardie Jules Vernes Katsirelos George Charg´ede recherche at Institut national de la recherche agronomique, Toulouse Abstract This thesis presents different technique to solve the Boolean satisfiability problem using parallel and distributed architec- tures. In order to provide a complete explanation, a careful presentation of the CDCL algorithm is made, followed by the state of the art in this domain. Once presented, two proposi- tions are made. The first one is an improvement on a portfo- lio algorithm, allowing to exchange more data without loosing efficiency. The second is a complete library with its API al- lowing to easily create distributed SAT solver. Keywords: SAT, parallelism, distributed, solver, logic R´esum´e Cette th`ese pr´esente diff´erentes techniques permettant de r´esoudre le probl`eme de satisfaction de formule bool´eenes utilisant le parall´elismeet du calcul distribu´e. Dans le but de fournir une explication la plus compl`ete possible, une pr´esentation d´etaill´ee de l'algorithme CDCL est effectu´ee, suivi d'un ´etatde l'art. De ce point de d´epart,deux pistes sont explor´ees. La premi`ereest une am´eliorationd'un algorithme de type portfolio, permettant d'´echanger plus d'informations sans perte d’efficacit´e.
    [Show full text]
  • The Development of Mathematical Logic from Russell to Tarski: 1900–1935
    The Development of Mathematical Logic from Russell to Tarski: 1900–1935 Paolo Mancosu Richard Zach Calixto Badesa The Development of Mathematical Logic from Russell to Tarski: 1900–1935 Paolo Mancosu (University of California, Berkeley) Richard Zach (University of Calgary) Calixto Badesa (Universitat de Barcelona) Final Draft—May 2004 To appear in: Leila Haaparanta, ed., The Development of Modern Logic. New York and Oxford: Oxford University Press, 2004 Contents Contents i Introduction 1 1 Itinerary I: Metatheoretical Properties of Axiomatic Systems 3 1.1 Introduction . 3 1.2 Peano’s school on the logical structure of theories . 4 1.3 Hilbert on axiomatization . 8 1.4 Completeness and categoricity in the work of Veblen and Huntington . 10 1.5 Truth in a structure . 12 2 Itinerary II: Bertrand Russell’s Mathematical Logic 15 2.1 From the Paris congress to the Principles of Mathematics 1900–1903 . 15 2.2 Russell and Poincar´e on predicativity . 19 2.3 On Denoting . 21 2.4 Russell’s ramified type theory . 22 2.5 The logic of Principia ......................... 25 2.6 Further developments . 26 3 Itinerary III: Zermelo’s Axiomatization of Set Theory and Re- lated Foundational Issues 29 3.1 The debate on the axiom of choice . 29 3.2 Zermelo’s axiomatization of set theory . 32 3.3 The discussion on the notion of “definit” . 35 3.4 Metatheoretical studies of Zermelo’s axiomatization . 38 4 Itinerary IV: The Theory of Relatives and Lowenheim’s¨ Theorem 41 4.1 Theory of relatives and model theory . 41 4.2 The logic of relatives .
    [Show full text]