Truth Tables for Negation, Conjunction, and Disjunction

Size: px
Start display at page:

Download "Truth Tables for Negation, Conjunction, and Disjunction"

Transcription

1 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 other truth tables. hey are tools of the (logic) trade. We will discuss three of the truth tables in this section and look at two more in another section. We will have one each for negation, conjunction, disjunction, conditional, and biconditional. Negation he first truth table is for negation. If is a true statement, then the negation of, "not," is a false statement. If is a false statement, then "not," is a true statement. or examle, if the statement "Coach Zab is an alien" is true, then the statement "Coach Zab is not an alien" is false. hese relationshis are summarized in the table below. or a simle statement, there are exactly two true-false cases, as shown. Negation ~

2 ruthabelsi.nb 2 If a comound statement consists of two simle statements and there are four ossible cases, as illustrated in the next table. Notice that we write --- in the first column and --- in the second column. his is standard rocedure for constructing a truth table with two simle statements. Consider the statement "Coach Zab is bald and Coach Zab is handsome." he simle statement "Coach Zab is bald" has two ossible truth values, true or false. he simle statement "Coach Zab is handsome" also has two truth values, true or false. hus for two simle statements there are four distinct ossible true-false arrangements. Whenever we construct a truth table for a comound statement that consists of two simle statements, we begin by listing the four true-false cases as shown in the table directly above. Conjunction o illustrate the conjunction, consider the following situation. Your teacher romises you that there is a review on hursday and a test on riday. o hel determine whether your teacher ket his romise, we assign letters to each simle statement. Let be "he review will be on hursday" and be "he test will be on riday." he teacher's statement in symbolic form is fl. here are four ossible true-false situations to be considered. : is true and is true. he review is on hursday and the test is on riday.

3 ruthabelsi.nb 3 he teacher has ket his romise and the comound statement is true. : is true and is false. he review is on hursday but the test was not on riday. Since the test was not on riday as romised, the comound statement is false. : is false and is true. he review is not on hursday but the test is on riday. Since the review was not on hursday, the comound statement is false. : is false and is false. he review is not on hursday and the test is not on riday. Since the review and the test were not on the days romised, the comound statement is false. he truth table for this comound statement is shown below. Conjunction fl Examining the four cases, we see that in only one case did the teacher kee his romise: in case 1. herefore, case 1 (, ) is true. In cases 2, 3, and 4, the teacher did not kee his romise and the comound statement is false. à he conjunction fl is only true when both and are true. Examle 1: Construct a ruth able Construct a truth table for fl ~. Solution: Because there are two statements, and, construct a truth table with four cases.

4 ruthabelsi.nb 4 fl ~ hen write the truth values under the in the comound statement and label this column 1. fl ~ 1 Now write the truth values for ~ under ~ in the comound statement and call this column 2 (note we are skiing a ste for brevity. Normally, we start by writing the truth values for under and then write the truth values for the negation under the negation sign. Later we dro this ste but I refer to dro it now. Just coy the oosite of what you see in the column under the ~ column). fl ~ 1 2 Now use the conjunction table and the entries in columns 1 and 2 to comlete column 3 as in the table before. Remember, the conjunction is only true when both and are true. fl ~

5 ruthabelsi.nb he answer is always the last column comleted. Columns 1 and 2 are only aids in arriving at the answer in column 3. In the examle above, we soke about cases and columns. he table had four cases indicated by four different rows of the two left hand (un-numbered) columns. In every truth table with two letters, we list the four cases (the first two columns) first. hen we comlete the remaining columns in the truth table. We will continue to lace numbers below the columns to show the order in which the columns are comleted. Examle 2: Construct and Interret a ruth able a) Construct a truth table for the following statement. Coach Zab is not bald and Coach Zab is not an alien. b) Under which conditions will the comound statement be true? c) Suose the statement "Coach Zab is bald" is a false statement and "Coach Zab is an alien" is a true statement. Is the comound statement given in art (a) true or false? Solution: Let : Coach Zab is bald : Coach Zab is an alien herefore, the comound statement may be written ~ fl ~. Now construct a truth table with four cases as shown below (note that we are now leaving the case numbers

6 ruthabelsi.nb 6 off the table. I think we can count to four!) ~ fl ~ he entire column under the fl is the answer column for the comound statement ~ fl ~. b) he comound statement in art (a) will be true only in case 4 (circled) when both simle statements, and, are false, that is when Coach Zab is not bald and Coach Zab is not an alien. c) We are told that "Coach Zab is bald",, is a false statement and that "Coach Zab is an alien",, is a true statement. rom the truth table we can determine that when is false and is true, case 3, the comound statement, is false (boxed in). Disjunction Consider the job descrition that contains the following reuirements. he alicant must have a two-year college degree in civil technology or five years of related exerience. Who ualifies for the job? o hel analyze the statement, translate it into symbols. Let be, "A reuirement for the job is a two-year college degree in civil engineering" and be "A reuirement for the job is five years of related exerience." he statement in symbolic form is fi. or the two simle statements, there are four cases.

7 ruthabelsi.nb 7 : is true and is true. A candidate has a two-year college degree in civil technology and five years or related exerience. Consider ualifying for the job as a true statement and not ualifying for the job as a false statement. So the comound statement is true. : is true and is false. A candidate has a two-year college degree in civil technology but does not have five years of related exerience. he candidate still ualifies for the job with the two-year college degree and the comound statement is true. : is false and is true. he candidate does not have a two-year college degree in civil technology but does have five years of related exerience. he candidate ualifies for the job with the five years of related exerience so the comound statement is true. : is false and is false. he candidate does not have a two-year college degree in civil technology and does not have five years of related exerience. he candidate does not ualify for the job and the comound statement is false. In examining the four cases, we see that there is only one case in which the candidate does not ualify for the job: case 4. As this examle indicates, an or statement will be true in every case, excet when both statements are false. he results are summarized in the table below. Disjunction fi à he disjunction, fi, is only false when both and are false.

8 ruthabelsi.nb 8 Examle 3: ruth able With a Disjunction Construct a truth table for ~( fi ~) Solution: irst construct the standard truth table listing the four cases. hen work within arentheses. he order to be followed is indicated by the numbers below the columns. In column 1, coy the values from the column on the left. Under ~, column 2, write the negation of the column on the left. Next comlete the or column, column 3, using columns 1 and 2 and the truth table for the disjunction (remember, the disjunction, fi, is only false when both the antecedent and the conseuent are false). inally, negate the values in the or column and lace these negated values in column 4. By examining the truth table you can see that the comound statement ~( fi ~) is true only in case 2, that is, when is true and is false. he answer column is boxed in. See the truth table below. ~ H fi ~ L What we learned about constructing truth tables is summarized below. Constructing ruth ables ruth tables can be daunting at first but with ractice they will become second nature. he key is identifying the tye of comound statement that you are working with. his is the first ste listed below.

9 ruthabelsi.nb 9 General Procedure 1. Determine if the comound statement is a negation, conjunction, disjunction, conditional, or bi-conditional. his may involve using the dominance of connectives. he dominance of connectives is listed in the table below. Dominance of Connectives Least dominant 1. Negation, ~ Evaluate first 2. Conjunction, fl ; disjunction, fi 3. Conditional, Ø Most dominant 4. Bi-conditional, Evaluate last he answer to a negation will aear under the ~, the answer to a conjunction will aear under the fl, the answer to a disjunction will aear under the fi, the answer to a conditional will aear under the Ø, and the answer to a biconditional will aear under the. 2. Comlete the columns under the simle statements,,, and r and their negations, ~, ~, and ~r, within arentheses. If there are nested arentheses (one air of arentheses within another air), work from inside out. 3. Comlete the column under the connective within the arentheses. You will use the truth value of the connective in determining the final answer in ste Comlete the column under any remaining statements and their negations. 5. Comlete the column under any remaining connectives. Recall that the answer will aear under the column determined in ste 1. If the statement is a conjunction, disjunction, conditional, or bi-conditional, you will obtain the truth values for the connective by using the last column comleted on the left side and on the right side of the connective. his is why it is a good idea to number the order in which you comlete the columns. Another ti is to use a different color for the last two columns (rior to the answer column) that you comlete. If the statement is a negation, you obtain the the truth values

10 ruthabelsi.nb 10 by negating the truth values of the last column comleted within the grouing symbols on the right side of the negation. Be sure to highlight your answer column.

part 1 Logic INTRODUCTION TO STRUCTURAL KINESIOLOGY CHAPTER Outline Foundations of Structural Kinesiology 2

part 1 Logic INTRODUCTION TO STRUCTURAL KINESIOLOGY CHAPTER Outline Foundations of Structural Kinesiology 2 CONIRMING PAGES art CHAPER Logic INRODUCION O SRUCURAL KINESIOLOGY oundations of Structural Kinesiology Basic Biomechanical actors and Concets 57 Neuromuscular undamentals 4 Outline - - - Statements and

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

LOGIC AND EXPERIENCE IN THE LIGHT OF DIALOGIC LOGIC

LOGIC AND EXPERIENCE IN THE LIGHT OF DIALOGIC LOGIC Bulletin of the Section of Logic Volume 12/4 (1983),. 173 178 reedition 2008 [original edition,. 173 180] Witold Marciszewski LOGIC AND EXPERIENCE IN THE LIGHT OF DIALOGIC LOGIC 1. There seems to be something

More information

New Testament Reading Plans

New Testament Reading Plans C o m m u n i t y B i b l e E x e r i e n c e New Testament Reading Plans Contents Reading the Text2 Whole New Testament...3 Luke-Acts...8 Mark...10 Paul s Letters...11 John s Gosel & Letters and Revelation...12

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

Millgrove Bible Church Leadership

Millgrove Bible Church Leadership s ; Welcome Guests to Our Church It is nice to have you here with us today! After the service, lease join us for refreshments and fellowshi in the multi-urose room, through the door near the organ. For

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

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

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

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

Digital Logic Lecture 5 Boolean Algebra and Logic Gates Part I

Digital Logic Lecture 5 Boolean Algebra and Logic Gates Part I Digital Logic Lecture 5 Boolean Algebra and Logic Gates Part I By Ghada Al-Mashaqbeh The Hashemite University Computer Engineering Department Outline Introduction. Boolean variables and truth tables. Fundamental

More information

Dowsing a Clear Path Forward July 6 th 10 th, 2012

Dowsing a Clear Path Forward July 6 th 10 th, 2012 Sonsored by the American Society of Dowsers West Coast Dowsing Conference, School, Workshos University of California at Santa Cruz, College VIII Dowsing a Clear Path Forward July 6 th 0 th, 202 www.dowserswestcoast.org

More information

2018 TEAMS WILL BE IN: VISIT US AT UBM.ORG.UK ENGLAND IRELAND WALES SCOTLAND FRANCE BELGIUM SPAIN PORTUGAL SWITZERLAND

2018 TEAMS WILL BE IN: VISIT US AT UBM.ORG.UK ENGLAND IRELAND WALES SCOTLAND FRANCE BELGIUM SPAIN PORTUGAL SWITZERLAND Lea into UBM in 2018! YOU CAN APPLY ONLINE IN 12 MINUTES! 2018 TEAMS WILL BE IN: ENGLAND IRELAND WALES SCOTLAND FRANCE BELGIUM SPAIN PORTUGAL SWITZERLAND VISIT US AT UBM.ORG.UK #kingdombuildingwithubm

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

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

SONG OF SOLOMON. Book note for Song of Solomon No book note, yet.

SONG OF SOLOMON. Book note for Song of Solomon No book note, yet. SONG OF SOLOMON Book note for Song of Solomon No book note, yet. Chater note for Song of Songs 1 1 The church s love unto Christ. 5 She confesseth her deformity, 7 and rayeth to be directed to his flock.

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

GLUE YOUR UNIT OBJECTIVES HERE!

GLUE YOUR UNIT OBJECTIVES HERE! US History Unit 1 American deals Defining and Debating America s Founding deals Unit 1 Focus Question: What are America s founding ideals, and why are they important? Date GLUE YOUR UN OBJECVES HERE! Key

More information

CHAPTER ONE STATEMENTS, CONNECTIVES AND EQUIVALENCES

CHAPTER ONE STATEMENTS, CONNECTIVES AND EQUIVALENCES 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,

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

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

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

God With Us. Rev. Stan Beard Advent Devotional

God With Us. Rev. Stan Beard Advent Devotional God With Us Rev. Stan Beard 2017 Advent Devotional Dear Friends, The miracle of Christmas, once again, is being celebrated around the world. The message and meaning of 'God With Us' is still the greatest

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

South Carolina English Language Arts / Houghton Mifflin Reading 2005 Grade Three

South Carolina English Language Arts / Houghton Mifflin Reading 2005 Grade Three Reading Goal (R) The student will draw upon a variety of strategies to comprehend, interpret, analyze, and evaluate what he or she reads. READING PROCESS AND COMPREHENSION 3-R1 The student will integrate

More information

Logic and Proofs. 1.1 Provositional Lonic. Introduction. Propositions

Logic and Proofs. 1.1 Provositional Lonic. Introduction. Propositions Logic and Proofs. Propositional Logic.2 Propositional Equivalences.3 Predicates and Quantifiers.4 Nested Quantifiers.5 Rules of Inference.6 Introduction to Proofs.7 Proof Methods and Strategy he rules

More information

It s Not My Fault. Global Warming and Individual Moral Obligations. Walter Sinnott-Armstrong. 1. Assumptions

It s Not My Fault. Global Warming and Individual Moral Obligations. Walter Sinnott-Armstrong. 1. Assumptions It s Not My Fault Global Warming and Individual Moral Obligations Walter Sinnott-Armstrong 18 1. Assumtions To make the issue stark, let us begin with a few assumtions. I believe that these assumtions

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

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

Gwyneth Walker. Why We Must Change. Contemporary Songs for Medium-High Voice and Piano on the poetry of Alice Walker

Gwyneth Walker. Why We Must Change. Contemporary Songs for Medium-High Voice and Piano on the poetry of Alice Walker Gyneth Walker Why We Must Change Contemorary Songs or Medium-High Voice and Piano on the oetry o Alice Walker 1 Word Reaches Us 2 Every Revolution Needs resh Poems May it Be Said o Me Why We Must Change

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

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

The Final Hours. A Suite for Holy Week. For SATB Choir, accompanied* Available Products:

The Final Hours. A Suite for Holy Week. For SATB Choir, accompanied* Available Products: The inal Hours A Suite for Holy Week By Lee Dengler and Susan Naus Dengler or SATB Choir accomanied* Available roducts: 00-116 Choral Book 00-117 revie ack 00-118 Rehearsal Trax 00-119 InstruTrax CD 00-120

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

Friday April 22, 2011 Schedule for the Day

Friday April 22, 2011 Schedule for the Day riday April 22, 2011 Schedule for the Day Am: Critical Reasoning -- Comment s on riday s Assignment --Discussion of oday s Assignment --Workshop on new material: allacies involving emotion; table methods

More information

1B: Propositions and Truth Values: SOLUTIONS

1B: Propositions and Truth Values: SOLUTIONS 1B: Propositions and ruth Values: SOLUIONS Class Activities 1. Discuss each statement and decide which are propositions. Circle or highlight them. a) Are you hungry? b) Janae was nominated for student

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

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

Association for the Support of Victims of Mojahedin-e Khalq

Association for the Support of Victims of Mojahedin-e Khalq Survivors' Reort 20 Januari 2006 Association for the Suort of Victims of Mojahedin-e Khalq Sweden The Family Network Association was formally introduced on Saturday 10th December 2005 at a Seminar in Sweden

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

1. Read, view, listen to, and evaluate written, visual, and oral communications. (CA 2-3, 5)

1. Read, view, listen to, and evaluate written, visual, and oral communications. (CA 2-3, 5) (Grade 6) I. Gather, Analyze and Apply Information and Ideas What All Students Should Know: By the end of grade 8, all students should know how to 1. Read, view, listen to, and evaluate written, visual,

More information

South Carolina English Language Arts / Houghton Mifflin English Grade Three

South Carolina English Language Arts / Houghton Mifflin English Grade Three Reading Goal (R) The student will draw upon a variety of strategies to comprehend, interpret, analyze, and evaluate what he or she reads. READING PROCESS AND COMPREHENSION 3-R1 The student will integrate

More information

Accelerating Design Space Exploration Using Pareto-Front Arithmetics

Accelerating Design Space Exploration Using Pareto-Front Arithmetics Session 6A-1: Accelerating Design Sace Exloration Using Pareto-Front Arithmetics Christian Haubelt, Jürgen Teich University of Paderborn Paderborn, Germany {haubelt, teich}@date.ub.de University of Paderborn

More information

articles Gendering the History of Spiritualities and Secularisms in Southeastern Europe p Introduction Pamela Ballinger and Kristen Ghodsee

articles Gendering the History of Spiritualities and Secularisms in Southeastern Europe p Introduction Pamela Ballinger and Kristen Ghodsee articles Gendering the History of Siritualities and Secularisms in Southeastern Euroe Introduction Pamela Ballinger and Kristen Ghodsee Scholars of religion have increasingly brought secularism within

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

The Soulless A Musical Drama by Andrew Thomas Kuster Script Revision

The Soulless A Musical Drama by Andrew Thomas Kuster Script Revision The Soulless A Musical rama by Andrew Thomas Kuster Scrit Revision 2015-10-14 Coyright 2014 Andrew Thomas Kuster, All Rights Reserved Contents List of Songs ii ramatis Personae iii Technical Information

More information

Louisiana English Language Arts Content Standards BENCHMARKS FOR 5 8

Louisiana English Language Arts Content Standards BENCHMARKS FOR 5 8 Louisiana English Language Arts Content Standards BENCHMARKS FOR 5 8 BOOK TITLE: Houghton Mifflin ENGLISH PUBLISHER: Houghton Mifflin Company GRADE LEVEL: Fifth STANDARD 1 ELA 1 M1 ELA 1 M2 ELA 1 M3 ELA

More information

4.1 A problem with semantic demonstrations of validity

4.1 A problem with semantic demonstrations of validity 4. Proofs 4.1 A problem with semantic demonstrations of validity Given that we can test an argument for validity, it might seem that we have a fully developed system to study arguments. However, there

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

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

CONTENTS. Acknowledgments 9 Foreword 11 Introduction: Becoming a Woman Who Pleases God 15

CONTENTS. Acknowledgments 9 Foreword 11 Introduction: Becoming a Woman Who Pleases God 15 CONTENTS Acknowledgments 9 Foreword 11 Introduction: Becoming a Woman Who Pleases God 15 One: The Wise Woman Builds Her Home 21 Two: The Wise Woman Acknowledges 53 the Strategic Position of the Home Three:

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

DOWNLOAD DICTIONARY OF LOGIC AS APPLIED IN THE STUDY OF LANGUAGE CONCEPTS METHODS THEORIES

DOWNLOAD DICTIONARY OF LOGIC AS APPLIED IN THE STUDY OF LANGUAGE CONCEPTS METHODS THEORIES DOWNLOAD DICTIONARY OF LOGIC AS APPLIED IN THE STUDY OF LANGUAGE CONCEPTS METHODS THEORIES Page 1 Page 2 dictionary of logic as pdf A Dictionary of Logic expands on Oxfordâ s coverage of the topic in works

More information

Module 5. Knowledge Representation and Logic (Propositional Logic) Version 2 CSE IIT, Kharagpur

Module 5. Knowledge Representation and Logic (Propositional Logic) Version 2 CSE IIT, Kharagpur Module 5 Knowledge Representation and Logic (Propositional Logic) Lesson 12 Propositional Logic inference rules 5.5 Rules of Inference Here are some examples of sound rules of inference. Each can be shown

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

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

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

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

PERSUASIVE PAPER NAME:

PERSUASIVE PAPER NAME: NAME: PERSUASIVE PAPER In persuasive writing, a writer takes a position FOR or AGAINST an issue and writes to convince the reader to believe or do something. Persuasive writing is often used in advertisements

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

CHRISTIAN EDUCATION SUNDAY. Quadrennial Theme Emphasis: RETOOLING TO SERVE THE PRESENT AGE September

CHRISTIAN EDUCATION SUNDAY. Quadrennial Theme Emphasis: RETOOLING TO SERVE THE PRESENT AGE September CHRISTIAN EDUCATION SUNDAY SEPTEMBER 16, 2018 ELEVATE Ephesians 4:11-16 Quadrennial Theme Emphasis: RETOOLING TO SERVE THE PRESENT AGE September 2018-2019 Rev. Tajuan Kyles, Co-Writer Brenda L. G. Smith,

More information

CS 2104 Intro Problem Solving in Computer Science Test 1 READ THIS NOW!

CS 2104 Intro Problem Solving in Computer Science Test 1 READ THIS NOW! READ THIS NOW! Print your name in the space provided below. There are 5 problems, priced as marked. The maximum score is 100. The grading of each question will take into account whether you obtained a

More information

Artificial Intelligence Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras

Artificial Intelligence Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras (Refer Slide Time: 00:26) Artificial Intelligence Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture - 06 State Space Search Intro So, today

More information

BIBLE STUDY WORKBOOK

BIBLE STUDY WORKBOOK BIBLE STUDY WORKBOOK TABLE OF CONTENTS Purposes and Principles... 2 4 Steps for Devotional Bible Study...3-6 This workbook belongs to: Let s Practice Devotional Bible Study...7-8 Let s Process...9-10 5

More information

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

APPRENTICE PROGRAM. Gospel. Calling. City.

APPRENTICE PROGRAM. Gospel. Calling. City. APPRENTICE PROGRAM Gospel. Calling. City. Through the Apprentice Program, Redeemer City to City (CTC) comes alongside churches to help them identify, equip, and mobilize young leaders for the advancement

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

StoryTown Reading/Language Arts Grade 3

StoryTown Reading/Language Arts Grade 3 Phonemic Awareness, Word Recognition and Fluency 1. Identify rhyming words with the same or different spelling patterns. 2. Use letter-sound knowledge and structural analysis to decode words. 3. Use knowledge

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

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

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

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

Philosophy 220. Truth Functional Properties Expressed in terms of Consistency

Philosophy 220. Truth Functional Properties Expressed in terms of Consistency Philosophy 220 Truth Functional Properties Expressed in terms of Consistency The concepts of truth-functional logic: Truth-functional: Truth Falsity Indeterminacy Entailment Validity Equivalence Consistency

More information

13.6 Euler Diagrams and Syllogistic Arguments

13.6 Euler Diagrams and Syllogistic Arguments EulerDiagrams.nb 1 13.6 Euler Diagrams and Syllogistic rguments In the preceding section, we showed how to determine the validity of symbolic arguments using truth tables and comparing the arguments to

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

Understanding the Teachings From the Story of the Battle With Amalek

Understanding the Teachings From the Story of the Battle With Amalek Understanding te Parsa Exodus 13:17 17:16 Parasat HaSavua xlvb Semot (Exodus) 13:17-17:16 Besalac (Wen He Sent) We will Learn ow to 1) interret te main teme (subject) of a Parsa (weekly reading from te

More information

10.3 Universal and Existential Quantifiers

10.3 Universal and Existential Quantifiers M10_COPI1396_13_SE_C10.QXD 10/22/07 8:42 AM Page 441 10.3 Universal and Existential Quantifiers 441 and Wx, and so on. We call these propositional functions simple predicates, to distinguish them from

More information

Determining Meetinghouse Adequacy

Determining Meetinghouse Adequacy Determining Meetinghouse Adequacy Contents Introduction... 2 Inspect and Rate the Building... 2 Review Meetinghouse Usage... 2 Evaluate Options... 3 Short-Term vs. Long-Term Needs... 3 Identifying Solutions...

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

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

son Word Savior Gabriel Visits Zechariah and Mary Copy Master 1 II New Testament Set 1 Week 1 Lesson A 3

son Word Savior Gabriel Visits Zechariah and Mary Copy Master 1 II New Testament Set 1 Week 1 Lesson A 3 son Word Savior Gabriel Visits Zechariah and Mary Copy Master 1 II New Testament Set 1 Week 1 Lesson A 3 Name Today is. (date) We studied a Bible lesson called. It taught me that... 4 Gabriel Visits Zechariah

More information

Lecture 3 Arguments Jim Pryor What is an Argument? Jim Pryor Vocabulary Describing Arguments

Lecture 3 Arguments Jim Pryor What is an Argument? Jim Pryor Vocabulary Describing Arguments Lecture 3 Arguments Jim Pryor What is an Argument? Jim Pryor Vocabulary Describing Arguments 1 Agenda 1. What is an Argument? 2. Evaluating Arguments 3. Validity 4. Soundness 5. Persuasive Arguments 6.

More information

occasions (2) occasions (5.5) occasions (10) occasions (15.5) occasions (22) occasions (28)

occasions (2) occasions (5.5) occasions (10) occasions (15.5) occasions (22) occasions (28) 1 Simulation Appendix Validity Concerns with Multiplying Items Defined by Binned Counts: An Application to a Quantity-Frequency Measure of Alcohol Use By James S. McGinley and Patrick J. Curran This appendix

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

Veni, Sancte Spiritus (Come, Holy Spirit) SSAAB Choir, Solo, Congas, and Claves. Based on the Pentecost Sequence. U w wu. œ œ. Spi - ri - tus.

Veni, Sancte Spiritus (Come, Holy Spirit) SSAAB Choir, Solo, Congas, and Claves. Based on the Pentecost Sequence. U w wu. œ œ. Spi - ri - tus. horal Series Based on the Pentecost Sequence Sorano Alto Baritone 5 INTRO reely (Come, Holy it) Ve ni π 4 4 4 SSAAB Choir, Solo, Congas, and Claves π π U u U U Ve ni, Brad Croushorn U u i tus i tus Si

More information

Association for the Support of Victims of Mojahedin-e Khalq. Bulgarians to Dismantle Iranian Terrorist Group MKO in Iraq

Association for the Support of Victims of Mojahedin-e Khalq. Bulgarians to Dismantle Iranian Terrorist Group MKO in Iraq Survivors' Reort 22 March 2006 Association for the Suort of Victims of Mojahedin-e Khalq Bulgarians to Dismantle Iranian Terrorist Grou MKO in Iraq By Massoud Khodabandeh, Terrorism Monitor Volume 4, Issue

More information

6. Truth and Possible Worlds

6. Truth and Possible Worlds 6. Truth and Possible Worlds We have defined logical entailment, consistency, and the connectives,,, all in terms of belief. In view of the close connection between belief and truth, described in the first

More information

Argumentative Writing. 9th Grade - English Language Arts Ms. Weaver - Qrtr 3/4

Argumentative Writing. 9th Grade - English Language Arts Ms. Weaver - Qrtr 3/4 Argumentative Writing 9th Grade - English Language Arts Ms. Weaver - Qrtr 3/4 Unit Objectives IWBAT - Write an argumentative essay that supports claims in an analysis of a topic and uses valid reasoning,

More information

Introduction to Philosophy

Introduction to Philosophy Introduction to Philosophy Philosophy 110W Russell Marcus Hamilton College, Fall 2013 Class 1 - Introduction to Introduction to Philosophy My name is Russell. My office is 202 College Hill Road, Room 210.

More information

a reader The Story of Purim with Commentary, Interpretations and Kabbalistic Insight By Rav DovBer Pinson

a reader The Story of Purim with Commentary, Interpretations and Kabbalistic Insight By Rav DovBer Pinson vwc a reader The Story of Purim with Commentary, Interretations and Kabbalistic Insight By Rav DovBer Pinson A Project of the IYYUN Institute WWW.IYYUN.COM All rights reserved I Purim r r The story = r

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

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

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

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

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

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

Artificial Intelligence. Clause Form and The Resolution Rule. Prof. Deepak Khemani. Department of Computer Science and Engineering

Artificial Intelligence. Clause Form and The Resolution Rule. Prof. Deepak Khemani. Department of Computer Science and Engineering Artificial Intelligence Clause Form and The Resolution Rule Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Module 07 Lecture 03 Okay so we are

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

Is Epistemic Probability Pascalian?

Is Epistemic Probability Pascalian? Is Epistemic Probability Pascalian? James B. Freeman Hunter College of The City University of New York ABSTRACT: What does it mean to say that if the premises of an argument are true, the conclusion is

More information