CHAPTER ONE STATEMENTS, CONNECTIVES AND EQUIVALENCES

Size: px
Start display at page:

Download "CHAPTER ONE STATEMENTS, CONNECTIVES AND EQUIVALENCES"

Transcription

1 CHAPTER ONE STATEMENTS, CONNECTIVES AND EQUIVALENCES A unifying concept in mathematics is the validity of an argument To determine if an argument is valid we must examine its component parts, that is, the sentences or statements that comprise the argument. Such sentences are called True/False (TF) statements. In this chapter we will examine individual TF statements and the relationship between combinations of TF statements. Objectives After completing Chapter One, the student should be able to: Identify True/False statements. Translate an English sentence into a symbolic logic statement Translate a symbolic logic statement into an English sentence. Determine the truth value of a compound statement. Determine the truth value of a variable given the truth value of a compound statement. Construct truth tables for compound statements Recognize logically equivalent statements. Write a statement that is logically equivalent to a given statement Construct the converse, inverse, and contrapositive of a conditional statement. Write the negation for each logical connective 1.1 Introduction to Logic TF Statements A TF statement is a declarative sentence to which we can assign a truth value of either true or false, but not both at the same time. Example I "Groundhog Day is celebrated on February 2 nd " is a TF statement since it is a declaration, and is either true or false. Example 2 "Bill Clinton was the first president of the United States to be impeached" is a TF statement since, as in the previous example, it is a declarative sentence. In this case the TF statement is false since Andrew Johnson, the 17 th president, was impeached. Example 3 "Are you going to climb Mt. Everest?" is not a TF statement since it is a question, not a declarative sentence. Example 4 "Put your cell phone away!" is not a TF statement. It is a command, not a declarative sentence. 1

2 Representing Statements using Variables TF statements are often represented by variables. In this class the variables used will be lowercase letters. p: Popcorn is a popular snack at the movies. would be read 'p represents (or stands for) the statement 'Popcorn is a popular snack at the movies.' " The choice of the letter p to symbolize this sentence is convenient, but any letter could have been used. Negations To negate a TFstatement is to change its truth value. Any TF statement may be negated by using the word not. It may also be negated by placing the words it is not true that in front of the statement. The negation is denoted by the symbol. Thus, the statement ~p is read "not p." The "~" symbol is also used to mean it is not true that. Example 5 The TF statement "Pluto is not classified as a planet" can be symbolized as ~p. Notice that this is really the negation of the TF statement "Pluto is classified as a planet." Example 6 Let q: The quagga is an extinct relative of the plains zebra of South Africa. Then ~q: It is not true that the quagga is an extinct relative of the plains zebra of South Africa, or simply "The quagga is not an extinct relative of the plains zebra of South Africa." Example 7 Let c: Carbonatites are igneous rocks. Then ~c: "It is not true that carbonatites are igneous rocks" or simply "Carbonatites are not igneous rocks" Connectives A connective is a word or group of words used to join two TF statements In our study of logic, the four basic connectives we will use are the conjunction, the disjunction, the conditional, and the biconditional. Simple and Compound Statements If a TF statement does not contain a connective, it is called a simple statement. If two or more simple statements are joined by one or more connectives, the resulting statement is called a compound statement. Conjunctions If we join two TF statements by the word and, we call the resulting compound statement the conjunction of the two TF statements. The symbol for the conjunction is. The statement p q is read 'p and q" or 'p conjunction q." In logic, the word "but" also means "and." Example 8 Let v: The voting age in the US is 18. Let d: The driving age in the US varies from state to state. The conjunction "The voting age in the US is 18 and the driving age in the US varies from state to state" is written symbolically as: v d. > > > 2

3 Example 9 Let m: The Acela Express is a fast moving train. Let a: The Acela Express is a costly train. The symbolization m A a means: > "The Acela Express is a fast moving train and it is a costly train" or alternatively, "The Acela Express is a fast moving but costly train." Example 10 Let d: I like to buy coffee from Dunkin' Donuts. Let s: I like to buy coffee from Starbucks. Then d A ~s represents the compound statement: > "I like to buy coffee from Dunkin' Donuts and I do not like to buy coffee from Starbucks," or simply "I like to buy coffee from Dunkin' Donuts but not from Starbucks." If a conjunction contains two negated statements, as in ~p the statement as "neither p nor q." > ~q, we sometimes read Example 11 Let s: Shoehorns are shoes. Let h: Shoehorns are horns. The statement "Shoehorns are not shoes and shoehorns are not horns" can be written symbolically as ~s ~h. Alternatively, we can say that "Shoehorns are neither shoes nor horns." > Example 12 Let g: The guinea pig is from Guinea. Let p: The guinea pig is a pig. The symbolization of the compound statement "The guinea pig is neither from Guinea nor is it a pig" is: ~g ~p Example 13 Using the underlined letters, the statement "A pocketbook is neither a pocket nor a book" can be symbolized as ~k ~b > > Disjunctions If we join two TF statements by the word or, the resulting compound statement is called the disjunction of the two statements. The symbol for the disjunction is The disjunctive statement p q is read "p or q" or 'p disjunction q." Sometimes the word either is implied as the correlative of the word or. > Example 14 Letp: I will pass physics. Lets: I will go to summer school. Then the disjunction p v s represents the compound statement "Either I will pass physics or I will go to summer school" or simply "I will pass physics or go to summer school." > 3

4 Example 15 Let c: In NY State, bridge tolls are paid in cash. Let e: In NY State, bridge tolls are paid with E ZPass. Then the disjunction c V e represents the compound statement "In NY State, bridge tolls are paid either in cash or with E ZPass." Conditionals Given two statements and q, a compound statement of the form "if p then q" is called a conditional statement or an implication. The symbol for a conditional statement is The conditional statement p q is read "p implies q". or "if p then q." The left hand side (LHS) of the conditional statement,p, is called its antecedent. The right hand side (RHS) of the conditional statement, q, is called its consequent. Example 16 Letj: I have a part time job. Let p: I pay for my auto insurance. The implication "If I have a part time job then I pay for my auto insurance" is symbolically written as: j p, while p j is read "If I pay for my auto insurance then I have apart time job." As we shall see, these two statements are not Example 17 Let r: I order spareribs. Let C: I go to a Chinese restaurant. Consider the statement "I order spare ribs if I go to a Chinese restaurant" This statement may be rephrased as "If I go to a Chinese restaurant, then I order spare ribs." Notice that the antecedent of the statement is c, and the consequent is r. Thus the statement is represented symbolically as c r. Example 18 Using the underlined letters, the symbolization of "The food will spoil if left unrefrigerated" is ~u s. Example 19 Using the underlined letters, the symbolization for "If credit card bills are not paid on time, an interest charge will be added to the bill" is ~p a. Biconditionals A biconditional statement is formed when two statements, p and q, are joined by the words "if and only if." The symbol for the biconditional statement is. Thus, the biconditional p q is read 'p if and only if q." Notice that the symbol for the biconditional has a double headed arrow. This really means that p q is the same as p q and q p. That is, p q is the same as(p q) (q p). V 4

5 Example 20 Let m: The mountain gorilla will survive. Let p: Poaching is halted. Then m p is read "The mountain gorilla will survive if and only if poaching is halted." Example 21 Using the underlined letters, the symbolization for "MRI's are prescribed if and only if there are no other options" is m o The Role of Parentheses in Compound Statements Consider the statement "Emeril will buy apples or bananas and cherries." This statement has three simple ideas: a: Emeril will buy apples, b: Emeril will buy bananas and C: Emeril will buy cherries. The statement contains an "or" as well as an "and" connective. Therefore, a reasonable question to ask is, "Does it matter whether we think of this statement as the disjunction a V (b c), or as the conjunction (a V b) C?" The following table summarizes the possible ways Emeril could fill a shopping cart, depending on where the parentheses are placed. < < These results are not the same. This is because there is ambiguity in the English statement as it was written. However, a mathematical statement must not have any ambiguity. It must have one and only one meaning. In an English sentence, the ambiguity is often remedied by using a comma to separate ideas In order to construct compound statements that are non ambiguous in logic, parentheses are often required to convey the intended meaning. Be aware that if a compound sentence contains two or more connective symbols, parentheses must be used to convey the true meaning of the statement. 5

6 . Example 22 Let C: i like carrots. Letp: I like peas. Explain the difference between ~(c p) and ~c p. Solution The statement ~(c p) is translated as "It is not true that I like both carrots and peas." The statement ~c p means "I don't like carrots but I do like peas." > > >> Example 23 Is the following statement a conjunction or a disjunction? "I will order the soup and the salad, or the club steak" Solution Noticing the placement of the comma, we see that the statement is a disjunction The symbolization is (s d) V c > Example 24 Is the following statement a conditional or a conjunction? "I will go to the night club, and if you are not there I will leave" Solution Noticing the placement of the comma, we see that the statement is a conjunction. The symbolization is n (~y l ). > Example 25 Is the following statement a conditional or a conjunction? "If the team comes in last place, then they will fire their manager and make a trade for a better second baseman." Solution This is a conditional statement. The symbolization is 1 (m s). > In Class Exercises and Problems for Section 1.1 In Exercises 1 15, use the underlined letters to write the sentences in symbolic form: 1. Soccer and basketball are international sports. 2. If it is 3 pm in New York, then it is noon in San Francisco. 3 Either you pay your taxes on time or you will incur a penalty. 4. You can vote in a federal election if and only if you are at least 21 years of age. 5. Okapis, giraffe like animals, are not found in Canada. 6. An angle is formed if two rays meet at a common endpoint. 7. Bald eagles are neither bald nor are they found in South America. 8. It is recommended that you take calcium supplements and lift weights if you have been diagnosed with osteoporosis. 9. If a team loses the Super Bowl, then there will be neither a parade nor a championship ring. 10. Solving a sudoku puzzle is time consuming but enjoyable. 6

7 11.If she has a bronze medal she did not win, but if she has a silver medal she came in second. 12. If the Senate and House pass the bill, then it will become a law and the police will enforce it. 13. The roads will become icy if the rain changes to sleet. 14. If you go to the beach and do not apply sunscreen you will get a sunburn. 15. The rich dark Turkish coffee was poured into the large green ceramic mug.(choose your own symbols) In Exercises 16 18, let p: She works part time. Let q: She owns a car. Let r: She goes to college. Let s: She lives at home. Express each of the following compound statements as an English sentence. In Problems 19 41, use the underlined letters to express the statement symbolically. 7

8 8

9 1.2 Connectives and their Truth Tables A truth table indicates the instances when a TF statement is true and when it is false. Truth values are displayed within the table using the capital letters T and F. Negations The following truth table shows us that the negation of a true statement is false, while the negation of a false statement is true. p ~p T F Conjunctions Let us examine the truth values of a conjunction. By the nature of the word "and," if a conjunctive statement is to be true, both of its component sentences must be true. If either sentence is false, the conjunction is false. Thus, the only time the conjunction >p q is true is when p and are both true. F T Example 1 A prestigious organization at Rafael's college is known as the Gold Club. Requirements for membership are listed in the club's charter, and read: "The student must have a GPA of at least 3.6 and must be an officer of a campus club." Rafael wishes to apply for membership in this club. Let p: Rafael's GPA is at least 3.6. Let q: Rafael is an officer of a campus club. Determine the truth values of p and q such that Rafael will be eligible for membership in the Gold Club. 9

10 Disjunctions In the English language, the word "or" is often used in the exclusive sense. When we say "Either we will go to the movies or go out to dinner," we often mean that we will do one of these two activities, but not both. In logic, the "or" is inclusive. In the above example, we mean that we will go to the movies, or go to dinner, or do both. The following truth table summarizes our results about disjunctions. Notice that the disjunction p V q is false only when p and are both false. Another, organization at the college in Example 1 is known as the Silver Club. Requirements for membership are listed in the Silver Club's charter, and read: "The student must have a GPA of at least 3.6 or must be a member of a sports team on campus." Suzie wishes to apply for membership in this club. Let p: Suzie's GPA is at least 3.6. Let q: Suzie is a member of a sports team on campus. Determine the truth values of p and q such that Suzie will be accepted for membership in the Silver Club. Conditionals The truth table for a conditional statement is less intuitive than the truth table for a conjunction or for a disjunction. Mathematicians have agreed that the only time the conditional statement p q is false is when the LHS, p, is true and the RHS, q, is false. The following truth table shows the truth values for a conditional statement. 10

11 Example 3 Ada has not been feeling well. She asks the advice of her doctor who prescribes a certain medication. The doctor promises Ada that if she takes the medication, she will feel better. Let p: Ada takes the medication and let q: Ada feels better. Therefore, the doctor's promise is represented symbolically as p q Examine all four sets of truth values for p and q, and in each case, decide if the doctor told Ada the truth. Solution As with the previous two connectives, let's examine the truth table for the conditional statement. Biconditionals The truth table for the biconditional is shown below. Notice that for a biconditional to be true, its LHS and the RHS must have the same truth value That is, for the biconditional statement p q to be true, both sides of the biconditional must be true, or both sides must be false. 11

12 Example 4 A meteorologist alerts the tn state area of a cold front headed our way. He warns that there will be a major snowfall if and only if the cold front brings subzero (Celsius) temperatures. Let p: There is a major snowfall. Let q: The cold front brings subzero temperatures. When is the meteorologist's forecast correct? In the first row we see that when p is true and q is true, the biconditional statement is true. In the second row twe see that when p is true and q is false, the biconditional statement is false. In the third row we see that when p is false and q is true, the biconditional statement is false. In the fourth row we see that when p is false and q is false, the biconditional statement is true. Truth Table Summary There are four sentences that stress the main points found in the truth tables for conjunction, disjunction, conditional and biconditional statements They are: 12

13 Example 5 Suppose p is a statement that we know is true and q is a statement that we know is false. Then True or False? In Class Exercises In Exercises 1 38, fill in each blank with either true, false, or can't be determined (CBD) due to insufficient information. 13

14 1.3 Evaluating TF Statements We have seen that the truth value of a compound statement depends on the truth values of its individual simple sentences and the particular connective used. Sometimes we wish to know the truth value when we combine more than two simple statements into a compound statement. The strategy we use to obtain the truth value is to consider the truth values two at a time. 14

15 Example 3 If p is true but q and rare false, find the truth value of (p q) ~ r. 15

16 16

17 1.4 Using Truth Tables Introduction Often, it is desirable to know the truth value of a compound statement for every different combination of truth values of its component simple statements. We accomplish this with the use of truth tables. We have already seen this technique when we constructed truth tables for negations, conjunctions, disjunctions, implications, and biconditionals. T F F T T F 17

18 Tautologies Statements that are always true, regardless of the truth values of the simple statements involved are called tautologies. Compact Truth Tables Rather than constructing a column in a truth table for every TF statement in a complicated compound statement, and then a column for each sub statement, we often construct a more compact truth table that yields the same result. Solution We begin by noting that the truth table will have four rows since there are two simple sentences. T F Truth Tables with Three Simple Statements When only two variables are involved in the construction of a compound sentence, four different sets of truth values must be considered. This results in a truth table that has four rows. If a compound statement involves three simple statements, there will be exactly eight ways that the truth values for these variables can combine. This will result in a truth table that has eight rows. To insure that we account for all possible combinations of truth values without duplication, we enter the truth values for the three variables by column. The first column has four entries of T followed by four entries of F. The second column contains two entries of T followed by two entries of F. This pattern is then repeated. The last column has the truth values alternating, beginning with T. 18

19 19

20 20

21 1.5 Equivalences Part I Introduction Two compound statements that always have the same truth value, regardless of the truth values of the variables involved, are said to be logically equivalent. When two statements are joined by the symbol, the resulting expression is referred to as an equivalence. Equivalences allow us to express the same thought in two different, but logically equivalent ways. Equivalences are used extensively in the remainder of this chapter and in many of the chapters that follow. While there are infinitely many equivalences, a few are used with such great frequency as to warrant special attention. The double negation equivalence: 21

22 Example 1 Let d: Fractions can be converted to decimals. Then ~d : Fractions cannot be converted to decimals. The statement "It is not true that fractions cannot be converted to decimals" symbolized as ~(~d), is logically equivalent to the statement "Fractions can be converted to decimals." The truth table verifies this relationship. Example 3 Let e: The Earth revolves around the sun. Let m: The moon revolves around the Earth. Use the commutative equivalence to write a statement equivalent to "The Earth revolves around the sun and the moon revolves around the Earth." The moon revolves around the Earth and the Earth revolves around the sun. m e > 22

23 23

24 24

25 In Class Exercises For Exercises 1 11, complete each statement by applying the indicated equivalence. 25

26 26

27 Example 5 Use the contrapositive equivalence to rewrite each of the following statements. a. r > w b. q m c. (aab) *' 'p 27

28 28

29 29

30 30

31 31

32 32

33 33

34 34

35 35

36 36

37 37

38 38

39 39

40 40

Rosen, Discrete Mathematics and Its Applications, 6th edition Extra Examples

Rosen, Discrete Mathematics and Its Applications, 6th edition Extra Examples Rosen, Discrete Mathematics and Its Applications, 6th edition Extra Examples Section 1.1 Propositional Logic Page references correspond to locations of Extra Examples icons in the textbook. p.2, icon at

More information

3.5_djj_004_Notes.notebook. November 03, 2009

3.5_djj_004_Notes.notebook. November 03, 2009 IN CLASS TUE, 10. 27.09,THU, 10.29.09, & TUE. 11.03.09 Section 3.5: Equivalent Statements, Variations of Conditional Statements, and De Morgan's Laws (Objectives 1 5) Equivalent Statements: statements

More information

INTERMEDIATE LOGIC Glossary of key terms

INTERMEDIATE LOGIC Glossary of key terms 1 GLOSSARY INTERMEDIATE LOGIC BY JAMES B. NANCE INTERMEDIATE LOGIC Glossary of key terms This glossary includes terms that are defined in the text in the lesson and on the page noted. It does not include

More information

What are Truth-Tables and What Are They For?

What are Truth-Tables and What Are They For? PY114: Work Obscenely Hard Week 9 (Meeting 7) 30 November, 2010 What are Truth-Tables and What Are They For? 0. Business Matters: The last marked homework of term will be due on Monday, 6 December, at

More information

Semantic Entailment and Natural Deduction

Semantic Entailment and Natural Deduction Semantic Entailment and Natural Deduction Alice Gao Lecture 6, September 26, 2017 Entailment 1/55 Learning goals Semantic entailment Define semantic entailment. Explain subtleties of semantic entailment.

More information

Logic: A Brief Introduction

Logic: A Brief Introduction Logic: A Brief Introduction Ronald L. Hall, Stetson University PART III - Symbolic Logic Chapter 7 - Sentential Propositions 7.1 Introduction What has been made abundantly clear in the previous discussion

More information

Logicola Truth Evaluation Exercises

Logicola Truth Evaluation Exercises Logicola Truth Evaluation Exercises The Logicola exercises for Ch. 6.3 concern truth evaluations, and in 6.4 this complicated to include unknown evaluations. I wanted to say a couple of things for those

More information

PART III - Symbolic Logic Chapter 7 - Sentential Propositions

PART III - Symbolic Logic Chapter 7 - Sentential Propositions Logic: A Brief Introduction Ronald L. Hall, Stetson University 7.1 Introduction PART III - Symbolic Logic Chapter 7 - Sentential Propositions What has been made abundantly clear in the previous discussion

More information

Workbook Unit 3: Symbolizations

Workbook Unit 3: Symbolizations Workbook Unit 3: Symbolizations 1. Overview 2 2. Symbolization as an Art and as a Skill 3 3. A Variety of Symbolization Tricks 15 3.1. n-place Conjunctions and Disjunctions 15 3.2. Neither nor, Not both

More information

L.1 - Introduction to Logic

L.1 - Introduction to Logic L.1 - Introduction to Logic Math 166-502 Blake Boudreaux Department of Mathematics Texas A&M University January 16, 2018 Blake Boudreaux (Texas A&M University) L.1 - Introduction to Logic January 16, 2018

More information

Logic & Proofs. Chapter 3 Content. Sentential Logic Semantics. Contents: Studying this chapter will enable you to:

Logic & Proofs. Chapter 3 Content. Sentential Logic Semantics. Contents: Studying this chapter will enable you to: Sentential Logic Semantics Contents: Truth-Value Assignments and Truth-Functions Truth-Value Assignments Truth-Functions Introduction to the TruthLab Truth-Definition Logical Notions Truth-Trees Studying

More information

LOGIC ANTHONY KAPOLKA FYF 101-9/3/2010

LOGIC ANTHONY KAPOLKA FYF 101-9/3/2010 LOGIC ANTHONY KAPOLKA FYF 101-9/3/2010 LIBERALLY EDUCATED PEOPLE......RESPECT RIGOR NOT SO MUCH FOR ITS OWN SAKE BUT AS A WAY OF SEEKING TRUTH. LOGIC PUZZLE COOPER IS MURDERED. 3 SUSPECTS: SMITH, JONES,

More information

Chapter 8 - Sentential Truth Tables and Argument Forms

Chapter 8 - Sentential Truth Tables and Argument Forms Logic: A Brief Introduction Ronald L. Hall Stetson University Chapter 8 - Sentential ruth ables and Argument orms 8.1 Introduction he truth-value of a given truth-functional compound proposition depends

More information

A. Problem set #3 it has been posted and is due Tuesday, 15 November

A. Problem set #3 it has been posted and is due Tuesday, 15 November Lecture 9: Propositional Logic I Philosophy 130 1 & 3 November 2016 O Rourke & Gibson I. Administrative A. Problem set #3 it has been posted and is due Tuesday, 15 November B. I am working on the group

More information

A BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS

A BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS A BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS 0. Logic, Probability, and Formal Structure Logic is often divided into two distinct areas, inductive logic and deductive logic. Inductive logic is concerned

More information

2.1 Review. 2.2 Inference and justifications

2.1 Review. 2.2 Inference and justifications Applied Logic Lecture 2: Evidence Semantics for Intuitionistic Propositional Logic Formal logic and evidence CS 4860 Fall 2012 Tuesday, August 28, 2012 2.1 Review The purpose of logic is to make reasoning

More information

Testing semantic sequents with truth tables

Testing semantic sequents with truth tables Testing semantic sequents with truth tables Marianne: Hi. I m Marianne Talbot and in this video we are going to look at testing semantic sequents with truth tables. (Slide 2) This video supplements Session

More information

Today s Lecture 1/28/10

Today s Lecture 1/28/10 Chapter 7.1! Symbolizing English Arguments! 5 Important Logical Operators!The Main Logical Operator Today s Lecture 1/28/10 Quiz State from memory (closed book and notes) the five famous valid forms and

More information

3. Negations Not: contradicting content Contradictory propositions Overview Connectives

3. Negations Not: contradicting content Contradictory propositions Overview Connectives 3. Negations 3.1. Not: contradicting content 3.1.0. Overview In this chapter, we direct our attention to negation, the second of the logical forms we will consider. 3.1.1. Connectives Negation is a way

More information

Chapter 9- Sentential Proofs

Chapter 9- Sentential Proofs Logic: A Brief Introduction Ronald L. Hall, Stetson University Chapter 9- Sentential roofs 9.1 Introduction So far we have introduced three ways of assessing the validity of truth-functional arguments.

More information

Geometry TEST Review Chapter 2 - Logic

Geometry TEST Review Chapter 2 - Logic Geometry TEST Review Chapter 2 - Logic Name Period Date Symbolic notation: 1. Define the following symbols. a b ~ c d e g a b c d a b c d 2. Consider the following legend: Let p = You love bananas. Let

More information

MLLunsford, Spring Activity: Conditional Probability and The Law of Total Probability

MLLunsford, Spring Activity: Conditional Probability and The Law of Total Probability MLLunsford, Spring 2003 1 Activity: Conditional Probability and The Law of Total Probability Concepts: Conditional Probability, Independent Events, the Multiplication Rule, the Law of Total Probability

More information

Illustrating Deduction. A Didactic Sequence for Secondary School

Illustrating Deduction. A Didactic Sequence for Secondary School Illustrating Deduction. A Didactic Sequence for Secondary School Francisco Saurí Universitat de València. Dpt. de Lògica i Filosofia de la Ciència Cuerpo de Profesores de Secundaria. IES Vilamarxant (España)

More information

Mathematics Project Coordinator: Jean-Paul Groleau

Mathematics Project Coordinator: Jean-Paul Groleau L ogic MTH-5112-1 LOGIC Mathematics Project Coordinator: Jean-Paul Groleau Author: Serge Dugas Content Revision: Jean-Paul Groleau Pedagocical Revision: Jean-Paul Groleau English Translation: Ministère

More information

Day 3. Wednesday May 23, Learn the basic building blocks of proofs (specifically, direct proofs)

Day 3. Wednesday May 23, Learn the basic building blocks of proofs (specifically, direct proofs) Day 3 Wednesday May 23, 2012 Objectives: Learn the basics of Propositional Logic Learn the basic building blocks of proofs (specifically, direct proofs) 1 Propositional Logic Today we introduce the concepts

More information

9 Methods of Deduction

9 Methods of Deduction M09_COPI1396_13_SE_C09.QXD 10/19/07 3:46 AM Page 372 9 Methods of Deduction 9.1 Formal Proof of Validity 9.2 The Elementary Valid Argument Forms 9.3 Formal Proofs of Validity Exhibited 9.4 Constructing

More information

HANDBOOK (New or substantially modified material appears in boxes.)

HANDBOOK (New or substantially modified material appears in boxes.) 1 HANDBOOK (New or substantially modified material appears in boxes.) I. ARGUMENT RECOGNITION Important Concepts An argument is a unit of reasoning that attempts to prove that a certain idea is true by

More information

In more precise language, we have both conditional statements and bi-conditional statements.

In more precise language, we have both conditional statements and bi-conditional statements. MATD 0385. Day 5. Feb. 3, 2010 Last updated Feb. 3, 2010 Logic. Sections 3-4, part 2, page 1 of 8 What does logic tell us about conditional statements? When I surveyed the class a couple of days ago, many

More information

SHORT ANSWER. Write the word or phrase that best completes each statement or answers the question.

SHORT ANSWER. Write the word or phrase that best completes each statement or answers the question. Exam Name SHORT ANSWER. Write the word or phrase that best completes each statement or answers the question. Draw a Venn diagram for the given sets. In words, explain why you drew one set as a subset of

More information

Artificial Intelligence: Valid Arguments and Proof Systems. Prof. Deepak Khemani. Department of Computer Science and Engineering

Artificial Intelligence: Valid Arguments and Proof Systems. Prof. Deepak Khemani. Department of Computer Science and Engineering Artificial Intelligence: Valid Arguments and Proof Systems Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Module 02 Lecture - 03 So in the last

More information

7.1. Unit. Terms and Propositions. Nature of propositions. Types of proposition. Classification of propositions

7.1. Unit. Terms and Propositions. Nature of propositions. Types of proposition. Classification of propositions Unit 7.1 Terms and Propositions Nature of propositions A proposition is a unit of reasoning or logical thinking. Both premises and conclusion of reasoning are propositions. Since propositions are so important,

More information

The way we convince people is generally to refer to sufficiently many things that they already know are correct.

The way we convince people is generally to refer to sufficiently many things that they already know are correct. Theorem A Theorem is a valid deduction. One of the key activities in higher mathematics is identifying whether or not a deduction is actually a theorem and then trying to convince other people that you

More information

Study Guides. Chapter 1 - Basic Training

Study Guides. Chapter 1 - Basic Training Study Guides Chapter 1 - Basic Training Argument: A group of propositions is an argument when one or more of the propositions in the group is/are used to give evidence (or if you like, reasons, or grounds)

More information

Logic for Computer Science - Week 1 Introduction to Informal Logic

Logic for Computer Science - Week 1 Introduction to Informal Logic Logic for Computer Science - Week 1 Introduction to Informal Logic Ștefan Ciobâcă November 30, 2017 1 Propositions A proposition is a statement that can be true or false. Propositions are sometimes called

More information

Symbolic Logic. 8.1 Modern Logic and Its Symbolic Language

Symbolic Logic. 8.1 Modern Logic and Its Symbolic Language M08_COPI1396_13_SE_C08.QXD 10/16/07 9:19 PM Page 315 Symbolic Logic 8 8.1 Modern Logic and Its Symbolic Language 8.2 The Symbols for Conjunction, Negation, and Disjunction 8.3 Conditional Statements and

More information

Georgia Quality Core Curriculum

Georgia Quality Core Curriculum correlated to the Grade 8 Georgia Quality Core Curriculum McDougal Littell 3/2000 Objective (Cite Numbers) M.8.1 Component Strand/Course Content Standard All Strands: Problem Solving; Algebra; Computation

More information

KRISHNA KANTA HANDIQUI STATE OPEN UNIVERSITY Patgaon, Ranigate, Guwahati SEMESTER: 1 PHILOSOPHY PAPER : 1 LOGIC: 1 BLOCK: 2

KRISHNA KANTA HANDIQUI STATE OPEN UNIVERSITY Patgaon, Ranigate, Guwahati SEMESTER: 1 PHILOSOPHY PAPER : 1 LOGIC: 1 BLOCK: 2 GPH S1 01 KRISHNA KANTA HANDIQUI STATE OPEN UNIVERSITY Patgaon, Ranigate, Guwahati-781017 SEMESTER: 1 PHILOSOPHY PAPER : 1 LOGIC: 1 BLOCK: 2 CONTENTS UNIT 6 : Modern analysis of proposition UNIT 7 : Square

More information

Part II: How to Evaluate Deductive Arguments

Part II: How to Evaluate Deductive Arguments Part II: How to Evaluate Deductive Arguments Week 4: Propositional Logic and Truth Tables Lecture 4.1: Introduction to deductive logic Deductive arguments = presented as being valid, and successful only

More information

PHI 1500: Major Issues in Philosophy

PHI 1500: Major Issues in Philosophy PHI 1500: Major Issues in Philosophy Session 3 September 9 th, 2015 All About Arguments (Part II) 1 A common theme linking many fallacies is that they make unwarranted assumptions. An assumption is a claim

More information

LGCS 199DR: Independent Study in Pragmatics

LGCS 199DR: Independent Study in Pragmatics LGCS 99DR: Independent Study in Pragmatics Jesse Harris & Meredith Landman September 0, 203 Last class, we discussed the difference between semantics and pragmatics: Semantics The study of the literal

More information

Complications for Categorical Syllogisms. PHIL 121: Methods of Reasoning February 27, 2013 Instructor:Karin Howe Binghamton University

Complications for Categorical Syllogisms. PHIL 121: Methods of Reasoning February 27, 2013 Instructor:Karin Howe Binghamton University Complications for Categorical Syllogisms PHIL 121: Methods of Reasoning February 27, 2013 Instructor:Karin Howe Binghamton University Overall Plan First, I will present some problematic propositions and

More information

Logic Appendix: More detailed instruction in deductive logic

Logic Appendix: More detailed instruction in deductive logic Logic Appendix: More detailed instruction in deductive logic Standardizing and Diagramming In Reason and the Balance we have taken the approach of using a simple outline to standardize short arguments,

More information

Perry High School. Geometry: Week 5

Perry High School. Geometry: Week 5 Geometry: Week 5 Monday: Exam 1a Debrief Tuesday: Exam 1b Wednesday: 2.1 Conditional Statements Thursday: 2.2 Definitions and Biconditional Statements Friday: 2.2 Work Day Next Week 2.3, 2.4, 2.5 1 Monday:

More information

HANDBOOK (New or substantially modified material appears in boxes.)

HANDBOOK (New or substantially modified material appears in boxes.) 1 HANDBOOK (New or substantially modified material appears in boxes.) I. ARGUMENT RECOGNITION Important Concepts An argument is a unit of reasoning that attempts to prove that a certain idea is true by

More information

1 Clarion Logic Notes Chapter 4

1 Clarion Logic Notes Chapter 4 1 Clarion Logic Notes Chapter 4 Summary Notes These are summary notes so that you can really listen in class and not spend the entire time copying notes. These notes will not substitute for reading the

More information

Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur

Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Lecture- 9 First Order Logic In the last class, we had seen we have studied

More information

An Introduction to. Formal Logic. Second edition. Peter Smith, February 27, 2019

An Introduction to. Formal Logic. Second edition. Peter Smith, February 27, 2019 An Introduction to Formal Logic Second edition Peter Smith February 27, 2019 Peter Smith 2018. Not for re-posting or re-circulation. Comments and corrections please to ps218 at cam dot ac dot uk 1 What

More information

(Refer Slide Time 03:00)

(Refer Slide Time 03:00) Artificial Intelligence Prof. Anupam Basu Department of Computer Science and Engineering Indian Institute of Technology, Kharagpur Lecture - 15 Resolution in FOPL In the last lecture we had discussed about

More information

McDougal Littell High School Math Program. correlated to. Oregon Mathematics Grade-Level Standards

McDougal Littell High School Math Program. correlated to. Oregon Mathematics Grade-Level Standards Math Program correlated to Grade-Level ( in regular (non-capitalized) font are eligible for inclusion on Oregon Statewide Assessment) CCG: NUMBERS - Understand numbers, ways of representing numbers, relationships

More information

HANDBOOK. IV. Argument Construction Determine the Ultimate Conclusion Construct the Chain of Reasoning Communicate the Argument 13

HANDBOOK. IV. Argument Construction Determine the Ultimate Conclusion Construct the Chain of Reasoning Communicate the Argument 13 1 HANDBOOK TABLE OF CONTENTS I. Argument Recognition 2 II. Argument Analysis 3 1. Identify Important Ideas 3 2. Identify Argumentative Role of These Ideas 4 3. Identify Inferences 5 4. Reconstruct the

More information

Truth and Modality - can they be reconciled?

Truth and Modality - can they be reconciled? Truth and Modality - can they be reconciled? by Eileen Walker 1) The central question What makes modal statements statements about what might be or what might have been the case true or false? Normally

More information

Elements of Science (cont.); Conditional Statements. Phil 12: Logic and Decision Making Fall 2010 UC San Diego 9/29/2010

Elements of Science (cont.); Conditional Statements. Phil 12: Logic and Decision Making Fall 2010 UC San Diego 9/29/2010 Elements of Science (cont.); Conditional Statements Phil 12: Logic and Decision Making Fall 2010 UC San Diego 9/29/2010 1 Why cover statements and arguments Decision making (whether in science or elsewhere)

More information

1)Asher: create a handout for the week summing up LOGIC

1)Asher: create a handout for the week summing up LOGIC 1)Asher: create a handout for the week summing up LOGIC 2)OWN this LESSON...add to it and send by back TUES..(put in common errors from prior weeks based on Daily Exits. tests, you walking around and seeing

More information

Faith indeed tells what the senses do not tell, but not the contrary of what they see. It is above them and not contrary to them.

Faith indeed tells what the senses do not tell, but not the contrary of what they see. It is above them and not contrary to them. 19 Chapter 3 19 CHAPTER 3: Logic Faith indeed tells what the senses do not tell, but not the contrary of what they see. It is above them and not contrary to them. The last proceeding of reason is to recognize

More information

FOURTH GRADE. WE LIVE AS CHRISTIANS ~ Your child recognizes that the Holy Spirit gives us life and that the Holy Spirit gives us gifts.

FOURTH GRADE. WE LIVE AS CHRISTIANS ~ Your child recognizes that the Holy Spirit gives us life and that the Holy Spirit gives us gifts. FOURTH GRADE RELIGION LIVING AS CATHOLIC CHRISTIANS ~ Your child recognizes that Jesus preached the Good News. understands the meaning of the Kingdom of God. knows virtues of Faith, Hope, Love. recognizes

More information

Logic: A Brief Introduction. Ronald L. Hall, Stetson University

Logic: A Brief Introduction. Ronald L. Hall, Stetson University Logic: A Brief Introduction Ronald L. Hall, Stetson University 2012 CONTENTS Part I Critical Thinking Chapter 1 Basic Training 1.1 Introduction 1.2 Logic, Propositions and Arguments 1.3 Deduction and Induction

More information

A Romp through the Foothills of Logic: Session 2

A Romp through the Foothills of Logic: Session 2 A Romp through the Foothills of Logic: Session 2 You might find it easier to understand this podcast if you first watch the short podcast Introducing Truth Tables. (Slide 2) Right, by the time we finish

More information

Truth Tables for Negation, Conjunction, and Disjunction

Truth Tables for Negation, Conjunction, and Disjunction ruthabelsi.nb 1 ruth ables for Negation, Conjunction, and Disjunction A truth table is a device used to determine when a comound statement is true or false. ive basic truth tables are used in constructing

More information

Some remarks on verificationism, constructivism and the Principle of Excluded Middle in the context of Colour Exclusion Problem

Some remarks on verificationism, constructivism and the Principle of Excluded Middle in the context of Colour Exclusion Problem URRJ 5 th June, 2017 Some remarks on verificationism, constructivism and the Principle of Excluded Middle in the context of Colour Exclusion Problem Marcos Silva marcossilvarj@gmail.com https://sites.google.com/site/marcossilvarj/

More information

2.3. Failed proofs and counterexamples

2.3. Failed proofs and counterexamples 2.3. Failed proofs and counterexamples 2.3.0. Overview Derivations can also be used to tell when a claim of entailment does not follow from the principles for conjunction. 2.3.1. When enough is enough

More information

Generic truth and mixed conjunctions: some alternatives

Generic truth and mixed conjunctions: some alternatives Analysis Advance Access published June 15, 2009 Generic truth and mixed conjunctions: some alternatives AARON J. COTNOIR Christine Tappolet (2000) posed a problem for alethic pluralism: either deny the

More information

Worksheet Exercise 1.1. Logic Questions

Worksheet Exercise 1.1. Logic Questions Worksheet Exercise 1.1. Logic Questions Date Study questions. These questions do not have easy answers. (But that doesn't mean that they have no answers.) Just think about these issues. There is no particular

More information

Chapter 3: More Deductive Reasoning (Symbolic Logic)

Chapter 3: More Deductive Reasoning (Symbolic Logic) Chapter 3: More Deductive Reasoning (Symbolic Logic) There's no easy way to say this, the material you're about to learn in this chapter can be pretty hard for some students. Other students, on the other

More information

Introduction Symbolic Logic

Introduction Symbolic Logic An Introduction to Symbolic Logic Copyright 2006 by Terence Parsons all rights reserved CONTENTS Chapter One Sentential Logic with 'if' and 'not' 1 SYMBOLIC NOTATION 2 MEANINGS OF THE SYMBOLIC NOTATION

More information

15. Russell on definite descriptions

15. Russell on definite descriptions 15. Russell on definite descriptions Martín Abreu Zavaleta July 30, 2015 Russell was another top logician and philosopher of his time. Like Frege, Russell got interested in denotational expressions as

More information

MATH1061/MATH7861 Discrete Mathematics Semester 2, Lecture 5 Valid and Invalid Arguments. Learning Goals

MATH1061/MATH7861 Discrete Mathematics Semester 2, Lecture 5 Valid and Invalid Arguments. Learning Goals MAH1061/MAH7861 Discrete Mathematics Semester 2, 2016 Learning Goals 1. Understand the meaning of necessary and sufficient conditions (carried over from Wednesday). 2. Understand the difference between

More information

1 Logical Form and Sentential Logic

1 Logical Form and Sentential Logic 338 C H A P T E R 1 1 Logical Form and Sentential Logic A bstracting from the content of an argument reveals the logical form of the argument. The initial sections of this chapter show that logical form

More information

March 09, Logic 2.notebook 25) D 26) D 27) C

March 09, Logic 2.notebook 25) D 26) D 27) C 25) D 26) D 27) C 17) If you eat Nano yogurt then you live to an old age 18) If you care about your family then you take pictures with a Blinko camera 19) If you get good gas mileage then you drive a Suberb

More information

E [Type text] [Type text]

E [Type text] [Type text] Rules 1-5 SV Agreement 1) Verbs after the Introductory Adverbs Here and There agree with the subjects that follow them. There is a book on the table. There are three books on the table. Here comes the

More information

Natural Deduction for Sentence Logic

Natural Deduction for Sentence Logic Natural Deduction for Sentence Logic Derived Rules and Derivations without Premises We will pursue the obvious strategy of getting the conclusion by constructing a subderivation from the assumption of

More information

1.2. What is said: propositions

1.2. What is said: propositions 1.2. What is said: propositions 1.2.0. Overview In 1.1.5, we saw the close relation between two properties of a deductive inference: (i) it is a transition from premises to conclusion that is free of any

More information

Logic Book Part 1! by Skylar Ruloff!

Logic Book Part 1! by Skylar Ruloff! Logic Book Part 1 by Skylar Ruloff Contents Introduction 3 I Validity and Soundness 4 II Argument Forms 10 III Counterexamples and Categorical Statements 15 IV Strength and Cogency 21 2 Introduction This

More information

Macmillan/McGraw-Hill SCIENCE: A CLOSER LOOK 2011, Grade 4 Correlated with Common Core State Standards, Grade 4

Macmillan/McGraw-Hill SCIENCE: A CLOSER LOOK 2011, Grade 4 Correlated with Common Core State Standards, Grade 4 Macmillan/McGraw-Hill SCIENCE: A CLOSER LOOK 2011, Grade 4 Common Core State Standards for Literacy in History/Social Studies, Science, and Technical Subjects, Grades K-5 English Language Arts Standards»

More information

PHILOSOPHY 102 INTRODUCTION TO LOGIC PRACTICE EXAM 1. W# Section (10 or 11) 4. T F The statements that compose a disjunction are called conjuncts.

PHILOSOPHY 102 INTRODUCTION TO LOGIC PRACTICE EXAM 1. W# Section (10 or 11) 4. T F The statements that compose a disjunction are called conjuncts. PHILOSOPHY 102 INTRODUCTION TO LOGIC PRACTICE EXAM 1 W# Section (10 or 11) 1. True or False (5 points) Directions: Circle the letter next to the best answer. 1. T F All true statements are valid. 2. T

More information

Tautological Necessity and Tautological Validity With Quantifiers

Tautological Necessity and Tautological Validity With Quantifiers Some sentences containing quantifiers are truth table necessary. Tautological Necessity and Tautological Validity With Quantifiers Mark Criley IWU 25 October 2017 That is, they are forced to be true just

More information

Logic. If and only if / Si et seulement si / Genau dann, wenn

Logic. If and only if / Si et seulement si / Genau dann, wenn Logic If and only if / Si et seulement si / Genau dann, wenn Logic is important for all mathematics! In mathematics, true means always true. Something which is often true is declared to be false. Negation:

More information

Intro Viewed from a certain angle, philosophy is about what, if anything, we ought to believe.

Intro Viewed from a certain angle, philosophy is about what, if anything, we ought to believe. Overview Philosophy & logic 1.2 What is philosophy? 1.3 nature of philosophy Why philosophy Rules of engagement Punctuality and regularity is of the essence You should be active in class It is good to

More information

Instructor s Manual 1

Instructor s Manual 1 Instructor s Manual 1 PREFACE This instructor s manual will help instructors prepare to teach logic using the 14th edition of Irving M. Copi, Carl Cohen, and Kenneth McMahon s Introduction to Logic. The

More information

Recall. Validity: If the premises are true the conclusion must be true. Soundness. Valid; and. Premises are true

Recall. Validity: If the premises are true the conclusion must be true. Soundness. Valid; and. Premises are true Recall Validity: If the premises are true the conclusion must be true Soundness Valid; and Premises are true Validity In order to determine if an argument is valid, we must evaluate all of the sets of

More information

Russell: On Denoting

Russell: On Denoting Russell: On Denoting DENOTING PHRASES Russell includes all kinds of quantified subject phrases ( a man, every man, some man etc.) but his main interest is in definite descriptions: the present King of

More information

Assignment Assignment for Lesson 3.1

Assignment Assignment for Lesson 3.1 Assignment Assignment for Lesson.1 Name Date A Little Dash of Logic Two Methods of Logical Reasoning Joseph reads a journal article that states that yogurt with live cultures greatly helps digestion and

More information

A romp through the foothills of logic Session 3

A romp through the foothills of logic Session 3 A romp through the foothills of logic Session 3 It would be a good idea to watch the short podcast Understanding Truth Tables before attempting this podcast. (Slide 2) In the last session we learnt how

More information

CSSS/SOC/STAT 321 Case-Based Statistics I. Introduction to Probability

CSSS/SOC/STAT 321 Case-Based Statistics I. Introduction to Probability CSSS/SOC/STAT 321 Case-Based Statistics I Introduction to Probability Christopher Adolph Department of Political Science and Center for Statistics and the Social Sciences University of Washington, Seattle

More information

Intersubstitutivity Principles and the Generalization Function of Truth. Anil Gupta University of Pittsburgh. Shawn Standefer University of Melbourne

Intersubstitutivity Principles and the Generalization Function of Truth. Anil Gupta University of Pittsburgh. Shawn Standefer University of Melbourne Intersubstitutivity Principles and the Generalization Function of Truth Anil Gupta University of Pittsburgh Shawn Standefer University of Melbourne Abstract We offer a defense of one aspect of Paul Horwich

More information

Build Bridges Lesson II: Good Neighbor Evangelism

Build Bridges Lesson II: Good Neighbor Evangelism Build Bridges Lesson II: Good Neighbor Evangelism Intro: º last series, four introductory lessons: Personal Work and Personal Evangelism something congregation very interested in doing more actively! Lesson

More information

Appendix: The Logic Behind the Inferential Test

Appendix: The Logic Behind the Inferential Test Appendix: The Logic Behind the Inferential Test In the Introduction, I stated that the basic underlying problem with forensic doctors is so easy to understand that even a twelve-year-old could understand

More information

Deduction by Daniel Bonevac. Chapter 1 Basic Concepts of Logic

Deduction by Daniel Bonevac. Chapter 1 Basic Concepts of Logic Deduction by Daniel Bonevac Chapter 1 Basic Concepts of Logic Logic defined Logic is the study of correct reasoning. Informal logic is the attempt to represent correct reasoning using the natural language

More information

Chapter 16: The Theory Decides What Can Be Observed Quantum Physics 101

Chapter 16: The Theory Decides What Can Be Observed Quantum Physics 101 Chapter 16: The Theory Decides What Can Be Observed Quantum Physics 101 There is no prescribed route to follow to arrive at a new idea. You have to make the intuitive leap. But, the difference is that

More information

YOURS FOR THE TAKING

YOURS FOR THE TAKING YOURS FOR THE TAKING Neville Goddard September 18, 1967 There is only one cause for the phenomena of life. That cause is God. Housed in you, God is a person in the most literal sense of the word. Believe

More information

3.3. Negations as premises Overview

3.3. Negations as premises Overview 3.3. Negations as premises 3.3.0. Overview A second group of rules for negation interchanges the roles of an affirmative sentence and its negation. 3.3.1. Indirect proof The basic principles for negation

More information

The Representation of Logical Form: A Dilemma

The Representation of Logical Form: A Dilemma The Representation of Logical Form: A Dilemma Benjamin Ferguson 1 Introduction Throughout the Tractatus Logico-Philosophicus and especially in the 2.17 s and 4.1 s Wittgenstein asserts that propositions

More information

Exposition of Symbolic Logic with Kalish-Montague derivations

Exposition of Symbolic Logic with Kalish-Montague derivations An Exposition of Symbolic Logic with Kalish-Montague derivations Copyright 2006-13 by Terence Parsons all rights reserved Aug 2013 Preface The system of logic used here is essentially that of Kalish &

More information

COACHING THE BASICS: WHAT IS AN ARGUMENT?

COACHING THE BASICS: WHAT IS AN ARGUMENT? COACHING THE BASICS: WHAT IS AN ARGUMENT? Some people think that engaging in argument means being mad at someone. That s one use of the word argument. In debate we use a far different meaning of the term.

More information

1. What are the ten different ways in which you can use a ruler other than its regular use? List your answer below.

1. What are the ten different ways in which you can use a ruler other than its regular use? List your answer below. 1 MODALS A. Ability 1. What are the ten different ways in which you can use a ruler other than its regular use? List your answer below. e.g. You can use it to dig holes. 2. Do you see any difference in

More information

Haberdashers Aske s Boys School

Haberdashers Aske s Boys School 1 Haberdashers Aske s Boys School Occasional Papers Series in the Humanities Occasional Paper Number Sixteen Are All Humans Persons? Ashna Ahmad Haberdashers Aske s Girls School March 2018 2 Haberdashers

More information

Early Russell on Philosophical Grammar

Early Russell on Philosophical Grammar Early Russell on Philosophical Grammar G. J. Mattey Fall, 2005 / Philosophy 156 Philosophical Grammar The study of grammar, in my opinion, is capable of throwing far more light on philosophical questions

More information

ADAIR COUNTY SCHOOL DISTRICT GRADE 03 REPORT CARD Page 1 of 5

ADAIR COUNTY SCHOOL DISTRICT GRADE 03 REPORT CARD Page 1 of 5 ADAIR COUNTY SCHOOL DISTRICT GRADE 03 REPORT CARD 2013-2014 Page 1 of 5 Student: School: Teacher: ATTENDANCE 1ST 9 2ND 9 Days Present Days Absent Periods Tardy Academic Performance Level for Standards-Based

More information

An alternative understanding of interpretations: Incompatibility Semantics

An alternative understanding of interpretations: Incompatibility Semantics An alternative understanding of interpretations: Incompatibility Semantics 1. In traditional (truth-theoretic) semantics, interpretations serve to specify when statements are true and when they are false.

More information

Revisiting the Socrates Example

Revisiting the Socrates Example Section 1.6 Section Summary Valid Arguments Inference Rules for Propositional Logic Using Rules of Inference to Build Arguments Rules of Inference for Quantified Statements Building Arguments for Quantified

More information

Johns Hopkins Math Tournament 2018 Proof Round: Fuzzy Knights and Knaves

Johns Hopkins Math Tournament 2018 Proof Round: Fuzzy Knights and Knaves Johns Hopkins Math Tournament 2018 Proof Round: Fuzzy Knights and Knaves February 17, 2018 Section Total Points Score 1 25 2 20 3 55 Instructions The exam is worth 100 points; each part s point value is

More information