A Little Deductive Logic

 Beverly Mitchell Oliver
 8 months ago
 Views:
Transcription
1 A Little Deductive Logic In propositional or sentential deductive logic, we begin by specifying that we will use capital letters (like A, B, C, D, and so on) to stand in for sentences, and we assume that sentences are either true or false. That is, we assume that sentences have one or other of two truth values, T or F. We will also need some sentence connectives or logical operators in order to build more complex sentences out of elementary or basic sentences. The sentence connectives correspond roughly to logical expressions found in English (and other languages, of course). Here are a few sentential connectives: Symbol Name Example Rough English Equivalent ~, Negation A It is not the case that A. A: not. & Conjunction A & B A and B. Disjunction A B A or B (or both)., Conditional A B If A, then B., Biconditional A B A if and only if B. A iff B. In the conjunction A & B, we call the two component sentences A, B conjuncts. In the disjunction A B, we call the two component sentences disjuncts. In the (material) conditional A B, A is the antecedent (of the conditional) and B is the consequent (not, please note, the consequence). As logicians, we are not concerned with what sentences are actually true or actually false. It is the job of empirical scientists (among others) to try to determine these facts. As logicians what we do is consider all possibilities of truth or falsity for some given sentence or set of sentences. Take, for example, just one sentence, A. A may be true, or A may be false. (Remember that we are consciously idealizing here. Sentences in ordinary daily usage may be vague, may have more than two truth values or perhaps lack truth value altogether. We are considering only the rather broad class of sentences that have one of two truth values, that are bivalent. There are different logical systems that try to accommodate these
2 other sorts of sentences.) But we can then define negation by means of the following quite natural table: A T F A F T Note that since negation changes the truth value of a sentence from T to F or from F to T, then two negation signs in a row have the effect of leaving the truth value of a sentence unchanged. In classical deductive logic two negation signs in a row can be dropped or omitted, often simplifying complex expressions. (There are nonclassical logics in which this simple rule does not hold.) If we combine two statements, then we have four possible ways that the two component statements may be true or false. We can then define the sentence connectives &,, and by means of the following table of possible truth values of the component sentences (or truth table, for short) and the resulting truth value for the whole sentence: A B A & B A B A B A B T T T T T T T F F T F F F T F T T F F F F F T T The truth table for & is quite natural. The truth table for is also what one would expect. However, there may be a use of or in English in which A or B excludes one of A or B. That is, in this meaning of or, A or B is false if both A and B are true. This kind of or is called the exclusive or. What we have represented in the truth table above is the inclusive or, which is true even if both A and B are true. It turns out that it is convenient to take the inclusive or as basic and define the exclusive or later, should we need it. The truth table for may seem a bit unintuitive, but one might note that it is the same as the truth table for (A & B), which, if you think about it a while (and you should), says: If A, then B. The biconditional has the same truth table as: (A B) & (B A). We can now see that in sentential or propositional logic, if we have a complex sentence made up of sentence letters and sentence connectives, 2
3 then given any assignment of truth values to the sentence letters, we can find the truth value of the whole complex sentence. (Some sentences in natural language do not have this simple truth functional form. Consider, for example, the sentence: Henry believes that A. ) It is worth noting briefly that, if we were developing fully a system of sentential logic, we would introduce parentheses to distinguish sentences that would be ambiguous without them. Consider, as a simple example, the string of symbols ~A B. Is this sentence a conditional with a negated antecedent or the negation of a conditional? (There is a difference! In a world in which both A and B are true, the former is true while the latter is false.) With rules concerning parentheses in place, we might write (~A) B for the former and ~(A B) for the latter. In the first sentence, the negation sign governs only the antecedent (and has, as we say, narrow scope). In the second sentence, the negation sign governs the whole sentence and so has broad scope. Keeping track of scope can be vitally important in evaluating the correctness or cogency of arguments, as we shall see. Below is an example of a truth table for a sentence with three sentence letters. The table provides two extra columns indicating intermediate steps between the assignment of truthvalues to the component letters and the resulting truthvalue of the statement as a whole (for each assignment). A truth table need only contain the assignments of truthvalues and the final result. A B C A B C (A B) ( C) T T T T F F T T F T T T T F T T F F T F F T T T F T T T F F F T F T T T F F T F F T F F F F T T For practice, it will be useful for you to work out truth tables for a few examples, like: (A B) (A & B), (A & B) (A B), ((A B) & A) B, ((A B) & B) A, (A B) ( B A). If you do these examples, you will notice that in some of them (the second, fourth, and fifth) the final row of the truth table will contain all Ts. Sentences that have this property are called tautologies or logical truths, 3
4 while their negations, which have all Fs in the final row of their truth tables, are called contradictions or logical falsehoods. Such sentences are of particular interest to logicians, who, while they are not interested in which sentences are true or false in any given particular world, certainly are interested in which sentences are true (or false) in all (possible) worlds, like the tautologies and contradictions. In addition to helping us find logical truths and falsehoods, truth tables can be of use in evaluating argument forms (and logic surely should have some connection to evaluating arguments). For our purposes, an argument is just a set of statements, some of which we designate as premises and one of which we call the conclusion. An argument is a valid deductive argument if, should its premises all be true, its conclusion is true as well. Consider, for example, the argument form (and I say form, since I will use letters instead of particular sentences): If H, then E. It is not the case that E. Therefore, it is not the case that H. (An argument is sound if, in addition to being valid, its premises are true. Suppose that we can accurately represent this argument in our logical notation in the following way: H E, E, H (where the symbol indicates the conclusion of an argument, just as the abbreviation QED often does.) Then consider the following table: H E H E E H T T T F F T F F T F F T T F T F F T T T The bottom row of this table is the only row (that is, the only assignment of truth values to the constituent sentence letters) in which both premises are true. In this row, the conclusion is true as well. The argument (form) we are considering is therefore deductively valid. This argument form is often called modus tollens or denying the consequent. You should construct tables like the one above to convince yourself of the following claims: 1. The argument form H E, H, E is another valid argument form. It is often called modus ponens or affirming the antecedent. 2. The argument forms H E, E, H (affirming the consequent) and H E, H, E (denying the antecedent) are not valid argument forms. (The third row of the table just above shows that denying the 4
5 antecedent is not a valid argument form. If you have any trouble seeing this, just switch the last two columns.) It is also worthwhile to convince yourself that the following are also a valid argument forms: (A & B) A B, (A & B & C) A B C, etc. When philosophers say that some condition A is a sufficient condition for some other condition B, they usually just mean that A B is true. Similarly, to say that A is a necessary condition for B is to say A B, which can also be written as B A, since this sentence has exactly the same truth table as A B and so, to the eyes of a logician, is indistinguishable from it. If A is both a necessary and sufficient condition for B, we often say A if and only if B, and we sometimes abbreviate this as A iff B. Logicians also write P for it is necessary that P or that P is necessary, and they write P for P is possible. The precise formal definitions of these terms requires more logical machinery than we will employ here, but it the following two assertions should be intuitively plausible: P iff P and P iff P. There are many subtly differing shades of meaning of necessary (must), possible (can), if then or and even and. We shall see that one must exercise great care in coordinating sentences in natural language with sentences in logical formalism, which can be used to disambiguate them. Finally, truth functional logic can also be extended to inferences containing all and some. We will omit details, but it is essential to become familiar with the basic notation. Variables, or placeholders for names, are usually written as x, y, z, Predicates are often indicated by F, G, H, So Fx says that x has property F, where neither the particular thing x nor the particular property F is specified. Then to Fx we can attach an operator that we call the universal quantifier and write (x)fx, [or, in older literature ( x)fx ] which says that everything is F. One might read this sentence to oneself as: For every x, x is F. Similarly (x)(fx Gx) says that for every x if that thing is F, then it s G. That is, all Fs are Gs. Also, we can say that something is an F by attaching an existential quantifier to Fx. That is usually written nowadays as (Ex)Fx. In older literature, you ll often find it written as ( x)fx. One might read this sentence to oneself as: There is an x such that x is F. Alternatively: there is at least one F. It is useful to think through the intended meanings of these symbols and see that the following equivalences must be true: ~(Ex)~Fx iff (x)fx and ~(x)~fx iff (Ex)Fx. 5
6 We can also represent relations amongst two or more things (as opposed to properties that apply to one thing) by using other letters, like R or L. So, for example, we could represent x loves y as Lxy or x gave y to z as Gxyz. This logical notation is quite subtle and flexible, since one can attach (or bind) different variables to different quantifiers (and in different orders). For instance, we could write the (ambiguous) English sentence Everyone loves someone as either (x)(ey)lxy or (Ey)(x)Lxy. Can you see how the logical notation captures the ambiguity (by shifting the order of the quantifiers)? These two sentences are quite distinct. The latter entails the former, but not vice versa. That is, informally, if the latter sentence is true, so must the former sentence be true. If the former is true, however, the latter need not be true. If each person, for instance, loves their own mother, then there need not be one person who is loved by all. As a useful exercise, try to disambiguate these two sentences: (1) Everybody is somebody s fool, and (2) You can fool some of the people all of the time. 6
Propositional Logic. Fall () Propositional Logic Fall / 30
Propositional Logic Fall 2013 () Propositional Logic Fall 2013 1 / 30 1 Introduction Learning Outcomes for this Presentation 2 Definitions Statements Logical connectives Interpretations, contexts,... Logically
More information3 The Semantics of the Propositional Calculus
3 The Semantics of the Propositional Calculus 1. Interpretations Formulas of the propositional calculus express statement forms. In chapter two, we gave informal descriptions of the meanings of the logical
More informationPropositional Logic. Spring Propositional Logic Spring / 32
Propositional Logic Spring 2016 Propositional Logic Spring 2016 1 / 32 Introduction Learning Outcomes for this Presentation Learning Outcomes... At the conclusion of this session, we will Define the elements
More informationLogic and Proofs 1. 1 Overview. 2 Sentential Connectives. John Nachbar Washington University December 26, 2014
John Nachbar Washington University December 26, 2014 Logic and Proofs 1 1 Overview. These notes provide an informal introduction to some basic concepts in logic. For a careful exposition, see, for example,
More informationPropositional Logic Review
Propositional Logic Review UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane The task of describing a logical system comes in three parts: Grammar Describing what counts as a formula Semantics Defining
More informationIntroduction to Metalogic
Philosophy 135 Spring 2008 Tony Martin Introduction to Metalogic 1 The semantics of sentential logic. The language L of sentential logic. Symbols of L: Remarks: (i) sentence letters p 0, p 1, p 2,... (ii)
More information5. And. 5.1 The conjunction
5. And 5.1 The conjunction To make our logical language more easy and intuitive to use, we can now add to it elements that make it able to express the equivalents of other sentences from a natural language
More informationHANDOUT AND SET THEORY. Ariyadi Wijaya
HANDOUT LOGIC AND SET THEORY Ariyadi Wijaya Mathematics Education Department Faculty of Mathematics and Natural Science Yogyakarta State University 2009 1 Mathematics Education Department Faculty of Mathematics
More informationLogic. Propositional Logic: Syntax
Logic Propositional Logic: Syntax Logic is a tool for formalizing reasoning. There are lots of different logics: probabilistic logic: for reasoning about probability temporal logic: for reasoning about
More informationCHAPTER 1  LOGIC OF COMPOUND STATEMENTS
CHAPTER 1  LOGIC OF COMPOUND STATEMENTS 1.1  Logical Form and Logical Equivalence Definition. A statement or proposition is a sentence that is either true or false, but not both. ex. 1 + 2 = 3 IS a statement
More informationTHE LOGIC OF COMPOUND STATEMENTS
CHAPTER 2 THE LOGIC OF COMPOUND STATEMENTS Copyright Cengage Learning. All rights reserved. SECTION 2.1 Logical Form and Logical Equivalence Copyright Cengage Learning. All rights reserved. Logical Form
More informationCSC Discrete Math I, Spring Propositional Logic
CSC 125  Discrete Math I, Spring 2017 Propositional Logic Propositions A proposition is a declarative sentence that is either true or false Propositional Variables A propositional variable (p, q, r, s,...)
More informationSymbolic Logic 3. For an inference to be deductively valid it is impossible for the conclusion to be false if the premises are true.
Symbolic Logic 3 Testing deductive validity with truth tables For an inference to be deductively valid it is impossible for the conclusion to be false if the premises are true. So, given that truth tables
More informationDeduction by Daniel Bonevac. Chapter 3 Truth Trees
Deduction by Daniel Bonevac Chapter 3 Truth Trees Truth trees Truth trees provide an alternate decision procedure for assessing validity, logical equivalence, satisfiability and other logical properties
More informationFormal Logic. Critical Thinking
ormal Logic Critical hinking Recap: ormal Logic If I win the lottery, then I am poor. I win the lottery. Hence, I am poor. his argument has the following abstract structure or form: If P then Q. P. Hence,
More informationAI Principles, Semester 2, Week 2, Lecture 5 Propositional Logic and Predicate Logic
AI Principles, Semester 2, Week 2, Lecture 5 Propositional Logic and Predicate Logic Propositional logic Logical connectives Rules for wffs Truth tables for the connectives Using Truth Tables to evaluate
More informationElla failed to drop the class. Ella dropped the class.
Propositional logic In many cases, a sentence is built up from one or more simpler sentences. To see what follows from such a complicated sentence, it is helpful to distinguish the simpler sentences from
More informationLECTURE 1. Logic and Proofs
LECTURE 1 Logic and Proofs The primary purpose of this course is to introduce you, most of whom are mathematics majors, to the most fundamental skills of a mathematician; the ability to read, write, and
More informationFirst order Logic ( Predicate Logic) and Methods of Proof
First order Logic ( Predicate Logic) and Methods of Proof 1 Outline Introduction Terminology: Propositional functions; arguments; arity; universe of discourse Quantifiers Definition; using, mixing, negating
More informationNatural deduction for truthfunctional logic
Natural deduction for truthfunctional logic Phil 160  Boston University Why natural deduction? After all, we just found this nice method of truthtables, which can be used to determine the validity or
More informationProofs: A General How To II. Rules of Inference. Rules of Inference Modus Ponens. Rules of Inference Addition. Rules of Inference Conjunction
Introduction I Proofs Computer Science & Engineering 235 Discrete Mathematics Christopher M. Bourke cbourke@cse.unl.edu A proof is a proof. What kind of a proof? It s a proof. A proof is a proof. And when
More information8. Reductio ad absurdum
8. Reductio ad absurdum 8.1 A historical example In his book, The Two New Sciences, Galileo Galilea (15641642) gives several arguments meant to demonstrate that there can be no such thing as actual infinities
More informationLecture 2. Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits. Reading (Epp s textbook)
Lecture 2 Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits Reading (Epp s textbook) 2.12.4 1 Logic Logic is a system based on statements. A statement (or
More information8. Reductio ad absurdum
8. Reductio ad absurdum 8.1 A historical example In his book, The Two New Sciences, 10 Galileo Galilea (15641642) gives several arguments meant to demonstrate that there can be no such thing as actual
More informationLecture 7. Logic. Section1: Statement Logic.
Ling 726: Mathematical Linguistics, Logic, Section : Statement Logic V. Borschev and B. Partee, October 5, 26 p. Lecture 7. Logic. Section: Statement Logic.. Statement Logic..... Goals..... Syntax of Statement
More informationDiscrete Mathematical Structures. Chapter 1 The Foundation: Logic
Discrete Mathematical Structures Chapter 1 he oundation: Logic 1 Lecture Overview 1.1 Propositional Logic 1.2 Propositional Equivalences 1.3 Quantifiers l l l l l Statement Logical Connectives Conjunction
More informationSection 1.1: Logical Form and Logical Equivalence
Section 1.1: Logical Form and Logical Equivalence An argument is a sequence of statements aimed at demonstrating the truth of an assertion. The assertion at the end of an argument is called the conclusion,
More informationA Primer on Logic Part 2: Statements, Truth Functions, and Argument Schemas Jason Zarri. 1. Introduction
A Primer on Logic Part 2: Statements, Truth Functions, and Argument Schemas Jason Zarri 1. Introduction In this Part our goal is to learn how to determine the validity of argument schemas, abstract forms
More informationDISCRETE MATHEMATICS BA202
TOPIC 1 BASIC LOGIC This topic deals with propositional logic, logical connectives and truth tables and validity. Predicate logic, universal and existential quantification are discussed 1.1 PROPOSITION
More informationThe Importance of Being Formal. Martin Henz. February 5, Propositional Logic
The Importance of Being Formal Martin Henz February 5, 2014 Propositional Logic 1 Motivation In traditional logic, terms represent sets, and therefore, propositions are limited to stating facts on sets
More informationA statement is a sentence that is definitely either true or false but not both.
5 Logic In this part of the course we consider logic. Logic is used in many places in computer science including digital circuit design, relational databases, automata theory and computability, and artificial
More informationCOMP219: Artificial Intelligence. Lecture 19: Logic for KR
COMP219: Artificial Intelligence Lecture 19: Logic for KR 1 Overview Last time Expert Systems and Ontologies Today Logic as a knowledge representation scheme Propositional Logic Syntax Semantics Proof
More informationCS100: DISCRETE STRUCTURES. Lecture 5: Logic (Ch1)
CS100: DISCREE SRUCURES Lecture 5: Logic (Ch1) Lecture Overview 2 Statement Logical Connectives Conjunction Disjunction Propositions Conditional Bioconditional Converse Inverse Contrapositive Laws of
More informationLogical Operators. Conjunction Disjunction Negation Exclusive Or Implication Biconditional
Logical Operators Conjunction Disjunction Negation Exclusive Or Implication Biconditional 1 Statement meaning p q p implies q if p, then q if p, q when p, q whenever p, q q if p q when p q whenever p p
More informationProposition logic and argument. CISC2100, Spring 2017 X.Zhang
Proposition logic and argument CISC2100, Spring 2017 X.Zhang 1 Where are my glasses? I know the following statements are true. 1. If I was reading the newspaper in the kitchen, then my glasses are on the
More informationExample. Logic. Logical Statements. Outline of logic topics. Logical Connectives. Logical Connectives
Logic Logic is study of abstract reasoning, specifically, concerned with whether reasoning is correct. Logic focuses on relationship among statements as opposed to the content of any particular statement.
More informationCHAPTER 6  THINKING ABOUT AND PRACTICING PROPOSITIONAL LOGIC
1 CHAPTER 6  THINKING ABOUT AND PRACTICING PROPOSITIONAL LOGIC Here, you ll learn: what it means for a logic system to be finished some strategies for constructing proofs Congratulations! Our system of
More information3 The language of proof
3 The language of proof After working through this section, you should be able to: (a) understand what is asserted by various types of mathematical statements, in particular implications and equivalences;
More informationIntroduction to Metalogic 1
Philosophy 135 Spring 2012 Tony Martin Introduction to Metalogic 1 1 The semantics of sentential logic. The language L of sentential logic. Symbols of L: (i) sentence letters p 0, p 1, p 2,... (ii) connectives,
More informationChapter 1: The Logic of Compound Statements. January 7, 2008
Chapter 1: The Logic of Compound Statements January 7, 2008 Outline 1 1.1 Logical Form and Logical Equivalence 2 1.2 Conditional Statements 3 1.3 Valid and Invalid Arguments Central notion of deductive
More informationMAT2345 Discrete Math
Fall 2013 General Syllabus Schedule (note exam dates) Homework, Worksheets, Quizzes, and possibly Programs & Reports Academic Integrity Do Your Own Work Course Web Site: www.eiu.edu/~mathcs Course Overview
More information6. Conditional derivations
6. Conditional derivations 6.1 An argument from Hobbes In his great work, Leviathan, the philosopher Thomas Hobbes (15881679) gives an important argument for government. Hobbes begins by claiming that
More informationICS141: Discrete Mathematics for Computer Science I
ICS141: Discrete Mathematics for Computer Science I Dept. Information & Computer Sci., Originals slides by Dr. Baek and Dr. Still, adapted by J. Stelovsky Based on slides Dr. M. P. Frank and Dr. J.L. Gross
More informationUnit 1. Propositional Logic Reading do all quickchecks Propositional Logic: Ch. 2.intro, 2.2, 2.3, 2.4. Review 2.9
Unit 1. Propositional Logic Reading do all quickchecks Propositional Logic: Ch. 2.intro, 2.2, 2.3, 2.4. Review 2.9 Typeset September 23, 2005 1 Statements or propositions Defn: A statement is an assertion
More informationLecture 4: Proposition, Connectives and Truth Tables
Discrete Mathematics (II) Spring 2017 Lecture 4: Proposition, Connectives and Truth Tables Lecturer: Yi Li 1 Overview In last lecture, we give a brief introduction to mathematical logic and then redefine
More informationCS70 is a course about on Discrete Mathematics for Computer Scientists. The purpose of the course is to teach you about:
CS 70 Discrete Mathematics for CS Fall 2006 Papadimitriou & Vazirani Lecture 1 Course Outline CS70 is a course about on Discrete Mathematics for Computer Scientists. The purpose of the course is to teach
More information6. Conditional derivations
6. Conditional derivations 6.1 An argument from Hobbes In his great work, Leviathan, the philosopher Thomas Hobbes gives an important argument for government. Hobbes begins by claiming that without a common
More informationINTRODUCTION TO LOGIC. Propositional Logic. Examples of syntactic claims
Introduction INTRODUCTION TO LOGIC 2 Syntax and Semantics of Propositional Logic Volker Halbach In what follows I look at some formal languages that are much simpler than English and define validity of
More informationTopics in Logic and Proofs
Chapter 2 Topics in Logic and Proofs Some mathematical statements carry a logical value of being true or false, while some do not. For example, the statement 4 + 5 = 9 is true, whereas the statement 2
More informationPHIL 422 Advanced Logic Inductive Proof
PHIL 422 Advanced Logic Inductive Proof 1. Preamble: One of the most powerful tools in your metalogical toolkit will be proof by induction. Just about every significant metalogical result relies upon
More informationA. Propositional Logic
CmSc 175 Discrete Mathematics A. Propositional Logic 1. Statements (Propositions ): Statements are sentences that claim certain things. Can be either true or false, but not both. Propositional logic deals
More informationPropositional Logic. Jason Filippou UMCP. ason Filippou UMCP) Propositional Logic / 38
Propositional Logic Jason Filippou CMSC250 @ UMCP 05312016 ason Filippou (CMSC250 @ UMCP) Propositional Logic 05312016 1 / 38 Outline 1 Syntax 2 Semantics Truth Tables Simplifying expressions 3 Inference
More informationProseminar on Semantic Theory Fall 2013 Ling 720 Propositional Logic: Syntax and Natural Deduction 1
Propositional Logic: Syntax and Natural Deduction 1 The Plot That Will Unfold I want to provide some key historical and intellectual context to the model theoretic approach to natural language semantics,
More informationAdvanced Topics in LP and FP
Lecture 1: Prolog and Summary of this lecture 1 Introduction to Prolog 2 3 Truth value evaluation 4 Prolog Logic programming language Introduction to Prolog Introduced in the 1970s Program = collection
More informationThe Logic of Compound Statements cont.
The Logic of Compound Statements cont. CSE 215, Computer Science 1, Fall 2011 Stony Brook University http://www.cs.stonybrook.edu/~cse215 Refresh from last time: Logical Equivalences Commutativity of :
More informationModal Sentential Logic I
Modal Sentential Logic I G J Mattey July 20, 2001 1 Syntax of MSL Modal Sentential Logic (MSL) is a formal language which is an extension of Sentential Logic (SL) All expressions of SL are expressions
More informationGlossary of Logical Terms
Math 304 Spring 2007 Glossary of Logical Terms The following glossary briefly describes some of the major technical logical terms used in this course. The glossary should be read through at the beginning
More informationVALIDITY IN SENTENTIAL LOGIC
ITY IN SENTENTIAL LOGIC 1. Tautologies, Contradictions, And Contingent Formulas...66 2. Implication And Equivalence...68 3. Validity In Sentential Logic...70 4. Testing Arguments In Sentential Logic...71
More informationOverview. KnowledgeBased Agents. Introduction. COMP219: Artificial Intelligence. Lecture 19: Logic for KR
COMP219: Artificial Intelligence Lecture 19: Logic for KR Last time Expert Systems and Ontologies oday Logic as a knowledge representation scheme Propositional Logic Syntax Semantics Proof theory Natural
More informationChapter 4, Logic using Propositional Calculus Handout
ECS 20 Chapter 4, Logic using Propositional Calculus Handout 0. Introduction to Discrete Mathematics. 0.1. Discrete = Individually separate and distinct as opposed to continuous and capable of infinitesimal
More informationTruth Table Definitions of Logical Connectives
Truth Table Definitions of Logical Connectives 1. Truth Functions: Logicians DEFINE logical operators in terms of their relation to the truth or falsehood of the statement(s) that they are operating on.
More information10/5/2012. Logic? What is logic? Propositional Logic. Propositional Logic (Rosen, Chapter ) Logic is a truthpreserving system of inference
Logic? Propositional Logic (Rosen, Chapter 1.1 1.3) TOPICS Propositional Logic Truth Tables Implication Logical Proofs 10/1/12 CS160 Fall Semester 2012 2 What is logic? Logic is a truthpreserving system
More informationPropositional Logic Not Enough
Section 1.4 Propositional Logic Not Enough If we have: All men are mortal. Socrates is a man. Does it follow that Socrates is mortal? Can t be represented in propositional logic. Need a language that talks
More informationFORMAL PROOFS DONU ARAPURA
FORMAL PROOFS DONU ARAPURA This is a supplement for M385 on formal proofs in propositional logic. Rather than following the presentation of Rubin, I want to use a slightly different set of rules which
More informationMathematical Logic Part One
Mathematical Logic Part One Question: How do we formalize the defnitions and reasoning we use in our proofs? Where We're Going Propositional Logic (Today) Basic logical connectives. Truth tables. Logical
More informationNotes on Inference and Deduction
Notes on Inference and Deduction Consider the following argument 1 Assumptions: If the races are fixed or the gambling houses are crooked, then the tourist trade will decline. If the tourist trade declines
More information02 Propositional Logic
SE 2F03 Fall 2005 02 Propositional Logic Instructor: W. M. Farmer Revised: 25 September 2005 1 What is Propositional Logic? Propositional logic is the study of the truth or falsehood of propositions or
More informationFirst Order Logic (1A) Young W. Lim 11/18/13
Copyright (c) 2013. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software
More informationLogic for Computer Science Handout Week 8 DERIVED RULE MODUS TOLLENS DERIVED RULE RAA DERIVED RULE TND
Logic for Computer Science Handout Week 8 DERIVED RULE MODUS TOLLENS We have last week completed the introduction of a calculus, which is sound and complete. That is, we can syntactically establish the
More informationMathematical Logic Part One
Mathematical Logic Part One Question: How do we formalize the definitions and reasoning we use in our proofs? Where We're Going Propositional Logic (Today) Basic logical connectives. Truth tables. Logical
More informationIntroduction to firstorder logic:
Introduction to firstorder logic: Firstorder structures and languages. Terms and formulae in firstorder logic. Interpretations, truth, validity, and satisfaction. Valentin Goranko DTU Informatics September
More informationVALIDITY IN SENTENTIAL LOGIC
ITY IN SENTENTIAL LOGIC 1. Tautologies, Contradictions, and Contingent Formulas...62 2. Implication And Equivalence...64 3. Validity in Sentential Logic...66 4. Testing Arguments in Sentential Logic...67
More informationCHAPTER 11. Introduction to Intuitionistic Logic
CHAPTER 11 Introduction to Intuitionistic Logic Intuitionistic logic has developed as a result of certain philosophical views on the foundation of mathematics, known as intuitionism. Intuitionism was originated
More informationFormal Logic: Quantifiers, Predicates, and Validity. CS 130 Discrete Structures
Formal Logic: Quantifiers, Predicates, and Validity CS 130 Discrete Structures Variables and Statements Variables: A variable is a symbol that stands for an individual in a collection or set. For example,
More informationMA103 STATEMENTS, PROOF, LOGIC
MA103 STATEMENTS, PROOF, LOGIC Abstract Mathematics is about making precise mathematical statements and establishing, by proof or disproof, whether these statements are true or false. We start by looking
More informationKRIPKE S THEORY OF TRUTH 1. INTRODUCTION
KRIPKE S THEORY OF TRUTH RICHARD G HECK, JR 1. INTRODUCTION The purpose of this note is to give a simple, easily accessible proof of the existence of the minimal fixed point, and of various maximal fixed
More informationClassical Propositional Logic
The Language of A Henkinstyle Proof for Natural Deduction January 16, 2013 The Language of A Henkinstyle Proof for Natural Deduction Logic Logic is the science of inference. Given a body of information,
More informationMaterial Implication and Entailment
510 Notre Dame Journal of Formal Logic Volume 29, Number 4, Fall 1988 Material Implication and Entailment CLARO R. CENIZA* The paradoxes of material implication have been called "paradoxes" of a sort because
More informationIndicative conditionals
Indicative conditionals PHIL 43916 November 14, 2012 1. Three types of conditionals... 1 2. Material conditionals... 1 3. Indicatives and possible worlds... 4 4. Conditionals and adverbs of quantification...
More informationPropositional Equivalence
Propositional Equivalence Tautologies and contradictions A compound proposition that is always true, regardless of the truth values of the individual propositions involved, is called a tautology. Example:
More informationPropositional Logic. CS 3234: Logic and Formal Systems. Martin Henz and Aquinas Hobor. August 26, Generated on Tuesday 31 August, 2010, 16:54
Propositional Logic CS 3234: Logic and Formal Systems Martin Henz and Aquinas Hobor August 26, 2010 Generated on Tuesday 31 August, 2010, 16:54 1 Motivation In traditional logic, terms represent sets,
More informationMath 13, Spring 2013, Lecture B: Midterm
Math 13, Spring 2013, Lecture B: Midterm Name Signature UCI ID # Email address Each numbered problem is worth 12 points, for a total of 84 points. Present your work, especially proofs, as clearly as possible.
More informationKB Agents and Propositional Logic
Plan KnowledgeBased Agents Logics Propositional Logic KB Agents and Propositional Logic Announcements Assignment2 mailed out last week. Questions? KnowledgeBased Agents So far, what we ve done is look
More informationThe λcalculus and Curry s Paradox Drew McDermott , revised
The λcalculus and Curry s Paradox Drew McDermott drew.mcdermott@yale.edu 20150923, revised 20151024 The λcalculus was invented by Alonzo Church, building on earlier work by Gottlob Frege and Moses
More informationDefinition 2. Conjunction of p and q
Proposition Propositional Logic CPSC 2070 Discrete Structures Rosen (6 th Ed.) 1.1, 1.2 A proposition is a statement that is either true or false, but not both. Clemson will defeat Georgia in football
More informationIII SEMESTER CORE COURSE
BA PHILOSOPHY PROGRAMME III SEMESTER CORE COURSE SYMBOLIC LOGIC AND INFORMATICS ( 2014 Admission onwards) (CUCBCSS) UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION Calicut university P.O, Malappuram
More informationDiscrete Mathematics and Applications COT3100
Discrete Mathematics and Applications CO3100 Dr. Ungor Sources: Slides are based on Dr. G. Bebis material. uesday, January 7, 2014 oundations of Logic: Overview Propositional logic: (Sections 1.11.3)
More information2/13/2012. Logic: Truth Tables. CS160 Rosen Chapter 1. Logic?
Logic: Truth Tables CS160 Rosen Chapter 1 Logic? 1 What is logic? Logic is a truthpreserving system of inference Truthpreserving: If the initial statements are true, the inferred statements will be true
More informationLogical forms and substitution instances. Philosophy and Logic Unit 2, Section 2.1
Logical forms and substitution instances Philosophy and Logic Unit 2, Section 2.1 Avoiding impossibility A valid deductive argument is an argument with a valid logical form. An argument has a valid logical
More informationColette Sciberras, PhD (Dunelm) 2016 Please do not distribute without acknowledging the author!
Philosophy A/ Int. Level: Logic Notes and Readings Colette Sciberras, PhD (Dunelm) 2016 Please do not distribute without acknowledging the author! PART 1: Readings from Copi: Introduction to Logic. Deduction
More informationChapter 1: Formal Logic
Chapter 1: Formal Logic Dr. Fang (Daisy) Tang ftang@cpp.edu www.cpp.edu/~ftang/ CS 130 Discrete Structures Logic: The Foundation of Reasoning Definition: the foundation for the organized, careful method
More informationMathematical Preliminaries. Sipser pages 128
Mathematical Preliminaries Sipser pages 128 Mathematical Preliminaries This course is about the fundamental capabilities and limitations of computers. It has 3 parts 1. Automata Models of computation
More informationProof. Theorems. Theorems. Example. Example. Example. Part 4. The Big Bang Theory
Proof Theorems Part 4 The Big Bang Theory Theorems A theorem is a statement we intend to prove using existing known facts (called axioms or lemmas) Used extensively in all mathematical proofs which should
More informationNotes on Quantum Logic
Notes on Quantum Logic Version 1.0 David B. Malament Department of Logic and Philosophy of Science University of California, Irvine dmalamen@uci.edu Contents 1 Formal (sentential) quantum logic 2 2 The
More informationPacket #1: Logic & Proofs. Applied Discrete Mathematics
Packet #1: Logic & Proofs Applied Discrete Mathematics Table of Contents Course Objectives Page 2 Propositional Calculus Information Pages 313 Course Objectives At the conclusion of this course, you should
More information1. Propositions: Contrapositives and Converses
Preliminaries 1 1. Propositions: Contrapositives and Converses Given two propositions P and Q, the statement If P, then Q is interpreted as the statement that if the proposition P is true, then the statement
More informationWUCT121. Discrete Mathematics. Logic. Tutorial Exercises
WUCT11 Discrete Mathematics Logic Tutorial Exercises 1 Logic Predicate Logic 3 Proofs 4 Set Theory 5 Relations and Functions WUCT11 Logic Tutorial Exercises 1 Section 1: Logic Question1 For each of the
More informationSection 1.3: Valid and Invalid Arguments
Section 1.3: Valid and Invalid Arguments Now we have developed the basic language of logic, we shall start to consider how logic can be used to determine whether or not a given argument is valid. In order
More informationSection 3.1: Direct Proof and Counterexample 1
Section 3.1: Direct Proof and Counterexample 1 In this chapter, we introduce the notion of proof in mathematics. A mathematical proof is valid logical argument in mathematics which shows that a given conclusion
More informationLogic as a Tool Chapter 1: Understanding Propositional Logic 1.1 Propositions and logical connectives. Truth tables and tautologies
Logic as a Tool Chapter 1: Understanding Propositional Logic 1.1 Propositions and logical connectives. Truth tables and tautologies Valentin Stockholm University September 2016 Propositions Proposition:
More information