Digital Logic Lecture 5 Boolean Algebra and Logic Gates Part I

Size: px
Start display at page:

Download "Digital Logic Lecture 5 Boolean Algebra and Logic Gates Part I"

Transcription

1 Digital Logic Lecture 5 Boolean Algebra and Logic Gates Part I By Ghada Al-Mashaqbeh The Hashemite University Computer Engineering Department

2 Outline Introduction. Boolean variables and truth tables. Fundamental logic gates (AND, OR, and NOT gates). Logic circuits, functions, and Boolean algebra. Universal logic gates (NAND and NOR). XOR and XNOR gates. Extension to multiple inputs. The Hashemite University 2

3 Introduction Till now we have understood the concept of binary numbers. Next, we will study ways of describing how systems using binary logic levels make decisions. After that the definition of logic circuit will be complete. Boolean algebra is an important tool in describing, analyzing, designing, and implementing digital circuits. Logic gates are the basic hardware units used to implement logic function or circuits described by Boolean algebra. The Hashemite University 3

4 Boolean Constants and Variables Boolean algebra allows only two values; 0 and 1. Logic 0 can be: false, off, low, no, open switch. Logic 1 can be: true, on, high, yes, closed switch. Three basic logic operations: OR, AND, and NOT. The operation of these logic operations is best described by truth tables. The Hashemite University 4

5 Truth Tables I A truth table describes the relationship between the input and the output of a logic circuit. The number of entries corresponds to the number of inputs. For example a 2 input table would have 2 2 = 4 entries. A 3 input table would have 2 3 = 8 entries, and so on. The Hashemite University 5

6 Truth Tables II Examples of truth tables with 2, 3, and 4 inputs. The Hashemite University 6

7 Fundamental Logic Gates OR : gives an output of 1 when at least one of its input is 1 (Disjunction or logical addition). AND: gives an output of 1 when all of its inputs are 1 (Conjunction or logical multiplication). NOT: invert its input, if the input is 1 the output is 0 and vice versa (Negation). The Hashemite University 7

8 OR Logic Gate I The Boolean expression for the OR operation is X = A + B This is read as x equals A or B. X = 1 when A = 1 or B = 1 or both equal 1. Truth table and circuit symbol for a two input OR gate: The Hashemite University 8

9 OR Logic Gate II The OR operation is similar to addition but when A = 1 and B = 1, the OR operation produces = 1 (not 10 as in arithmetic addition). In the Boolean expression x=1+1+1=1 We could say in English that x is true (1) when A is true (1) OR B is true (1) OR C is true (1). The Hashemite University 9

10 Timing Diagram of OR Gate The Hashemite University 10

11 AND Logic Gate I The Boolean expression for the AND operation is X = A B or X = AB This is read as x equals A and B. x = 1 when A = 1 and B = 1. Truth table and circuit symbol for a two input AND gate are shown. Notice the difference between OR and AND gates. The Hashemite University 11

12 AND Logic Gate II The AND operation is similar to multiplication. In the Boolean expression X = A B C X = 1 only when A = 1, B = 1, and C = 1. The Hashemite University 12

13 Timing Diagram of AND Gate The Hashemite University 13

14 NOT Logic Gate I The Boolean expression for the NOT operation is X A This is read as: x equals NOT A, or x equals the inverse of A, or x equals the complement of A The Hashemite University 14

15 NOT Logic Gate II Truth table, symbol, and sample waveform for the NOT circuit. The Hashemite University 15

16 Buffer Logic Gate The function performed by Buffer gate is called transfer since this gate just transfer the value of its input to its output without any change (does not perform any logical operation). Equivalent to two inverters (NOT gates) connected in cascade (the output of the first one is the input of the second one). Needed for power amplification of the signal (or inputs). A x = A A x The Hashemite University 16

17 Describing Logic Circuits Algebraically I The three basic Boolean operations (OR, AND, NOT) can describe any logic circuit. Operators Precedence: If an expression contains AND, OR, and NOT gates combined with each other then follow these rules: First: implement NOT operators starting from left to right. Second: implement AND operations starting from left to right. Third: implement OR operators starting from left to right. Remember that parenthesis force priority (you start implementation of what inside a parenthesis). For nested parenthesis you start from the inner most one. If multiple parenthesis exist start implementation from left to right The Hashemite University 17

18 Describing Logic Circuits Algebraically II Examples of Boolean expressions for logic circuits: The Hashemite University 18

19 Describing Logic Circuits Algebraically III The output of an inverter is equivalent to the input with a bar over it. Input A through an inverter equals A. Examples using inverters. The Hashemite University 19

20 Examples The Hashemite University 20

21 Evaluating Logic Circuit Outputs Output logic levels can be determined directly from a circuit diagram. The output of each gate is noted until a final output is found. Rules for evaluating a Boolean expression: Perform all inversions of single terms. Perform all operations within parenthesis. Perform AND operation before an OR operation unless parenthesis indicate otherwise. If an expression has a bar over it, perform the operations inside the expression and then invert the result. The Hashemite University 21

22 Example Evaluate Boolean expressions by substituting values and performing the indicated operations: A 0, B 1, C 1, and x ABC(A D) (0 1) (0 1) (1) D 1 The Hashemite University 22

23 Implementing Circuits From Boolean Expressions It is important to be able to draw a logic circuit from a Boolean expression. Follow the rules of operators precedence (used when evaluating Boolean expressions) when defining the locations of gate used in the circuit that represent the desired logic function. Examples: Implement the following Boolean expressions: (a) y = AC+BC +A BC ( x=(a+b)(b +C (b) The Hashemite University 23

24 Example 1 (a) The Hashemite University 24

25 Example 1 (b) The Hashemite University 25

26 NAND Logic Gate I Combine basic AND, OR, and NOT operations. The NAND gate is an inverted AND gate. An inversion bubble is placed at the output of the AND gate. The Boolean expression is x AB NAND operator symbol is x A B The Hashemite University 26

27 NAND Logic Gate II Truth table and gate symbol (compare it with AND gate truth table): A B x A B A B x The Hashemite University 27

28 Timing Diagram of NAND Gate The Hashemite University 28

29 NOR Logic Gate I Combine basic AND, OR, and NOT operations. The NOR gate is an inverted OR gate. An inversion bubble is placed at the output of the OR gate. The Boolean expression is x A B NOR operator symbol is x A B The Hashemite University 29

30 NOR Logic Gate II Truth table and gate symbol (Compare it with the OR gate truth table): A B 0 0 x A B A B x The Hashemite University 30

31 Timing Diagram of NOR Gate The Hashemite University 31

32 Exclusive OR Gate I Abbreviated as XOR gate. It gives 1 when its two inputs are of different values, otherwise it gives 0 (when they are equal). So, it is also called the binary difference operator. The Boolean expression is XOR operator symbol is x x AB A B AB The Hashemite University 32

33 Exclusive OR Gate II Truth table and gate symbol: A B 0 0 x A B A B x The Hashemite University 33

34 Exclusive NOR Gate I Abbreviated as XNOR gate. It gives 1 when its two inputs are equal, otherwise it gives 0 (when they are different). So, it is also called the binary equivalence operator. It is the complement (or the inverter of XOR) The Boolean expression is XNOR operator symbol is x A B \ x AB A ' B ' The Hashemite University 34

35 Exclusive NOR Gate II Truth table and gate symbol: A B 0 0 x A B \ A B x The Hashemite University 35

36 Extension to Multiple Inputs I All the logical gates that we have taken (except the unary ones) can be extended to have multiple inputs. The only condition for that is the binary operation represented by the gate must be associative and commutative. E.g. OR and AND gates. NAND and NOR gates are not associative. However, to make them extendable we define them as an inverted AND and as an inverted OR respectively. E.g.: three input NAND gate have the expression of (x.y.z) The Hashemite University 36

37 Extension to Multiple Inputs II XOR and XNOR are both commutative and associative can be extended to multiple inputs. Uncommon from hardware point of view. Multi-input XOR gate (more than 2 inputs) is called an odd-function since it produces 1 if and only if the number of 1 s (inputs that are 1) is odd. Otherwise, it will gives an output of 0. Multi-input XNOR gate (more than 2 inputs) is called an even-function since it produces 1 if and only if the number of 1 s (inputs that are 1) is even. Otherwise, it will gives an output of 0. The Hashemite University 37

38 Universality of NAND and NOR Gates I NAND or NOR gates can be used to create the three basic or fundamental logic gates (OR, AND, and INVERT). So, any circuit can be implemented totally using NAND gates alone or NOR gates alone (inverters are always allowed). For this they are called universal gates and they are used in Ics fabrication. This characteristic provides flexibility and is very useful in logic circuit design. The Hashemite University 38

39 Implement AND, OR using NAND The Hashemite University 39

40 Implement AND, OR using NOR The Hashemite University 40

41 Boolean Function Using only NOR or only NAND So, any boolean function can implemented totally using NAND gates or using NOR gates. Example: On board. The Hashemite University 41

42 Logic Symbol Interpretation When an input or output on a logic circuit symbol has no bubble on it, that line is said to be active-high. Otherwise the line is said to be active-low. When a logic signal is in its active state, it can be said to be asserted (=activated). When a logic signal is not in its active state, it is said to be unasserted (=inactive). The Hashemite University 42

43 Example I The Hashemite University 43

44 Example 2 The Hashemite University 44

45 Which Gate Representation to Use? If the circuit is being used to cause some action when output goes to the 1 state, then use active-high representation. If the circuit is being used to cause some action when output goes to the 0 state, then use active-low representation. The Hashemite University 45

46 Additional Notes This lecture covers the following material from the textbook: Chapter 1: Section 1.9 Chapter 2: Sections 2.7 and 2.8 Chapter 3: Section 3.6 The Hashemite University 46

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

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

(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

Houghton Mifflin MATHEMATICS

Houghton Mifflin MATHEMATICS 2002 for Mathematics Assessment NUMBER/COMPUTATION Concepts Students will describe properties of, give examples of, and apply to real-world or mathematical situations: MA-E-1.1.1 Whole numbers (0 to 100,000,000),

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

Grade 7 Math Connects Suggested Course Outline for Schooling at Home 132 lessons

Grade 7 Math Connects Suggested Course Outline for Schooling at Home 132 lessons Grade 7 Math Connects Suggested Course Outline for Schooling at Home 132 lessons I. Introduction: (1 day) Look at p. 1 in the textbook with your child and learn how to use the math book effectively. DO:

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

Grade 6 Math Connects Suggested Course Outline for Schooling at Home

Grade 6 Math Connects Suggested Course Outline for Schooling at Home Grade 6 Math Connects Suggested Course Outline for Schooling at Home I. Introduction: (1 day) Look at p. 1 in the textbook with your child and learn how to use the math book effectively. DO: Scavenger

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

Grade 6 correlated to Illinois Learning Standards for Mathematics

Grade 6 correlated to Illinois Learning Standards for Mathematics STATE Goal 6: Demonstrate and apply a knowledge and sense of numbers, including numeration and operations (addition, subtraction, multiplication, division), patterns, ratios and proportions. A. Demonstrate

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

INTRODUCTION TO LOGIC 1 Sets, Relations, and Arguments

INTRODUCTION TO LOGIC 1 Sets, Relations, and Arguments INTRODUCTION TO LOGIC 1 Sets, Relations, and Arguments Volker Halbach Pure logic is the ruin of the spirit. Antoine de Saint-Exupéry The Logic Manual The Logic Manual The Logic Manual The Logic Manual

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

MISSOURI S FRAMEWORK FOR CURRICULAR DEVELOPMENT IN MATH TOPIC I: PROBLEM SOLVING

MISSOURI S FRAMEWORK FOR CURRICULAR DEVELOPMENT IN MATH TOPIC I: PROBLEM SOLVING Prentice Hall Mathematics:,, 2004 Missouri s Framework for Curricular Development in Mathematics (Grades 9-12) TOPIC I: PROBLEM SOLVING 1. Problem-solving strategies such as organizing data, drawing a

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

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

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

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

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

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

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

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

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

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

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

Potten End Church of England Primary School Curriculum Map. Year 6

Potten End Church of England Primary School Curriculum Map. Year 6 Potten End Church of England Primary School Curriculum Map Year 6 English Maths Autumn 1 Autumn 2 Spring 1 Spring 2 Summer 1 Summer 2 Fiction Genres a range of short stories conveying different genres

More information

NPTEL NPTEL ONINE CERTIFICATION COURSE. Introduction to Machine Learning. Lecture-59 Ensemble Methods- Bagging,Committee Machines and Stacking

NPTEL NPTEL ONINE CERTIFICATION COURSE. Introduction to Machine Learning. Lecture-59 Ensemble Methods- Bagging,Committee Machines and Stacking NPTEL NPTEL ONINE CERTIFICATION COURSE Introduction to Machine Learning Lecture-59 Ensemble Methods- Bagging,Committee Machines and Stacking Prof. Balaraman Ravindran Computer Science and Engineering Indian

More information

Steady and Transient State Analysis of Gate Leakage Current in Nanoscale CMOS Logic Gates

Steady and Transient State Analysis of Gate Leakage Current in Nanoscale CMOS Logic Gates Steady and Transient State Analysis of Gate Leakage Current in Nanoscale CMOS Logic Gates Saraju P. Mohanty and Elias Kougianos VLSI Design and CAD Laboratory (VDCL) Dept of Computer Science and Engineering

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

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

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- 10 Inference in First Order Logic I had introduced first order

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

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

cc01p, 10/23/94 CHAPTER 1

cc01p, 10/23/94 CHAPTER 1 cc01p, 10/23/94 CHAPTER 1 PLAUSIBLE REASONING The actual science of logic is conversant at present only with things either certain, impossible, or entirely doubtful, none of which (fortunately) we have

More information

CRITICAL THINKING (CT) MODEL PART 1 GENERAL CONCEPTS

CRITICAL THINKING (CT) MODEL PART 1 GENERAL CONCEPTS Fall 2001 ENGLISH 20 Professor Tanaka CRITICAL THINKING (CT) MODEL PART 1 GENERAL CONCEPTS In this first handout, I would like to simply give you the basic outlines of our critical thinking model

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

Saint Bartholomew School Third Grade Curriculum Guide. Language Arts. Writing

Saint Bartholomew School Third Grade Curriculum Guide. Language Arts. Writing Language Arts Reading (Literature) Locate and respond to key details Determine the message or moral in a folktale, fable, or myth Describe the qualities and actions of a character Differentiate between

More information

Module 02 Lecture - 10 Inferential Statistics Single Sample Tests

Module 02 Lecture - 10 Inferential Statistics Single Sample Tests Introduction to Data Analytics Prof. Nandan Sudarsanam and Prof. B. Ravindran Department of Management Studies and Department of Computer Science and Engineering Indian Institute of Technology, Madras

More information

Lazy Functional Programming for a survey

Lazy Functional Programming for a survey Lazy Functional Programming for a survey Norman Ramsey Tufts November 2012 Book: Programming languages for practitioners Why? For people who will write code Gives future practitioners something to do I

More information

Chapter 3: Basic Propositional Logic. Based on Harry Gensler s book For CS2209A/B By Dr. Charles Ling;

Chapter 3: Basic Propositional Logic. Based on Harry Gensler s book For CS2209A/B By Dr. Charles Ling; Chapter 3: Basic Propositional Logic Based on Harry Gensler s book For CS2209A/B By Dr. Charles Ling; cling@csd.uwo.ca The Ultimate Goals Accepting premises (as true), is the conclusion (always) true?

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

THE RELATION BETWEEN THE GENERAL MAXIM OF CAUSALITY AND THE PRINCIPLE OF UNIFORMITY IN HUME S THEORY OF KNOWLEDGE

THE RELATION BETWEEN THE GENERAL MAXIM OF CAUSALITY AND THE PRINCIPLE OF UNIFORMITY IN HUME S THEORY OF KNOWLEDGE CDD: 121 THE RELATION BETWEEN THE GENERAL MAXIM OF CAUSALITY AND THE PRINCIPLE OF UNIFORMITY IN HUME S THEORY OF KNOWLEDGE Departamento de Filosofia Instituto de Filosofia e Ciências Humanas IFCH Universidade

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

Basic Algorithms Overview

Basic Algorithms Overview Basic Algorithms Overview Algorithms Search algorithm Sort algorithm Induction proofs Complexity 21 December 2005 Ariel Shamir 1 Conceptual Hierarchy Algorithm/Model Program Code Today s lecture Compilers

More information

Carolina Bachenheimer-Schaefer, Thorsten Reibel, Jürgen Schilder & Ilija Zivadinovic Global Application and Solution Team

Carolina Bachenheimer-Schaefer, Thorsten Reibel, Jürgen Schilder & Ilija Zivadinovic Global Application and Solution Team APRIL 2017 Webinar KNX DALI-Gateway DG/S x.64.1.1 BU EPBP GPG Building Automation Carolina Bachenheimer-Schaefer, Thorsten Reibel, Jürgen Schilder & Ilija Zivadinovic Global Application and Solution Team

More information

Homework: read in the book pgs and do "You Try It" (to use Submit); Read for lecture. C. Anthony Anderson

Homework: read in the book pgs and do You Try It (to use Submit); Read for lecture. C. Anthony Anderson Philosophy 183 Page 1 09 / 26 / 08 Friday, September 26, 2008 9:59 AM Homework: read in the book pgs. 1-10 and do "You Try It" (to use Submit); Read 19-29 for lecture. C. Anthony Anderson (caanders@philosophy.ucsb.edu)

More information

correlated to the Massachussetts Learning Standards for Geometry C14

correlated to the Massachussetts Learning Standards for Geometry C14 correlated to the Massachussetts Learning Standards for Geometry C14 12/2003 2004 McDougal Littell Geometry 2004 correlated to the Massachussetts Learning Standards for Geometry Note: The parentheses at

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

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

MITOCW ocw f99-lec18_300k

MITOCW ocw f99-lec18_300k MITOCW ocw-18.06-f99-lec18_300k OK, this lecture is like the beginning of the second half of this is to prove. this course because up to now we paid a lot of attention to rectangular matrices. Now, concentrating

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

APRIL 2017 KNX DALI-Gateways DG/S x BU EPBP GPG Building Automation. Thorsten Reibel, Training & Qualification

APRIL 2017 KNX DALI-Gateways DG/S x BU EPBP GPG Building Automation. Thorsten Reibel, Training & Qualification APRIL 2017 KNX DALI-Gateways DG/S x.64.1.1 BU EPBP GPG Building Automation Thorsten Reibel, Training & Qualification Agenda New Generation DALI-Gateways DG/S x.64.1.1 Features DALI Assortment today New

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

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

prohibition, moral commitment and other normative matters. Although often described as a branch

prohibition, moral commitment and other normative matters. Although often described as a branch Logic, deontic. The study of principles of reasoning pertaining to obligation, permission, prohibition, moral commitment and other normative matters. Although often described as a branch of logic, deontic

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

Unit 5: Inverse Functions

Unit 5: Inverse Functions Haberman MTH Section I: Functions and Their Graphs Unit 5: Inverse Functions EXAMPLE: Consider the unction n( ), which is graphed in Figure Figure : Graph o n( ) Since n is a unction, each input corresponds

More information

Pearson Education Limited Edinburgh Gate Harlow Essex CM20 2JE England and Associated Companies throughout the world

Pearson Education Limited Edinburgh Gate Harlow Essex CM20 2JE England and Associated Companies throughout the world Pearson Education Limited Edinburgh Gate Harlow Essex CM20 2JE England and Associated Companies throughout the world Visit us on the World Wide Web at: www.pearsoned.co.uk Pearson Education Limited 2014

More information

Intel x86 Jump Instructions. Part 5. JMP address. Operations: Program Flow Control. Operations: Program Flow Control.

Intel x86 Jump Instructions. Part 5. JMP address. Operations: Program Flow Control. Operations: Program Flow Control. Part 5 Intel x86 Jump Instructions Control Logic Fly over code Operations: Program Flow Control Operations: Program Flow Control Unlike high-level languages, processors don't have fancy expressions or

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

Is the Concept of God Fundamental or Figment of the Mind?

Is the Concept of God Fundamental or Figment of the Mind? August 2017 Volume 8 Issue 7 pp. 574-582 574 Is the Concept of God Fundamental or Figment of the Mind? Alan J. Oliver * Essay Abstract To be everywhere God would have to be nonlocal, which would allow

More information

Module 6: Inverse Functions

Module 6: Inverse Functions Haberman MTH c Section I: Sets and Functions Module 6: Inverse Functions EXAMPLE: Consider the unction n ( ), which is graphed in Figure below Figure : Graph o n( ) Since n is a unction, each input corresponds

More information

Intel x86 Jump Instructions. Part 6. JMP address. Operations: Program Flow Control. Operations: Program Flow Control.

Intel x86 Jump Instructions. Part 6. JMP address. Operations: Program Flow Control. Operations: Program Flow Control. Part 6 Intel x86 Jump Instructions Control Logic Fly over code Operations: Program Flow Control Operations: Program Flow Control Unlike high-level languages, processors don't have fancy expressions or

More information

Doctor Faustus and the Universal Machine

Doctor Faustus and the Universal Machine Doctor Faustus and the Universal Machine Zoe Beloff - October 1998 1938, the date that Stein wrote DOCTOR FAUSTUS, was a time of transition between the old analog world and the birth of the digital realm

More information

C. Problem set #1 due today, now, on the desk. B. More of an art than a science the key things are: 4.

C. Problem set #1 due today, now, on the desk. B. More of an art than a science the key things are: 4. Lecture 4: The Language of Argument Philosophy 130 September 22 and 27, 2016 O Rourke & Gibson I. Administrative A. Questions? B. Read Ch. 3 & pp. 90-94 C. Problem set #1 due today, now, on the desk II.

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

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

Truth-Functional Propositional Logic

Truth-Functional Propositional Logic by Sidney Felder Truth-functional propositional logic is the simplest and expressively weakest member of the class of deductive systems designed to capture the various valid arguments and patterns of reasoning

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

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

DOWNLOAD OR READ : THE LOGIC BOOK PDF EBOOK EPUB MOBI

DOWNLOAD OR READ : THE LOGIC BOOK PDF EBOOK EPUB MOBI DOWNLOAD OR READ : THE LOGIC BOOK PDF EBOOK EPUB MOBI Page 1 Page 2 the logic book the logic book pdf the logic book i EDITORS FORWARD E. T. Jaynes died April 30, 1998. Before his death he asked me to

More information

Predictive Coding. CSE 390 Introduction to Data Compression Fall Entropy. Bad and Good Prediction. Which Context to Use? PPM

Predictive Coding. CSE 390 Introduction to Data Compression Fall Entropy. Bad and Good Prediction. Which Context to Use? PPM Predictive Coding CSE 390 Introduction to Data Compression Fall 2004 Predictive Coding (PPM, JBIG, Differencing, Move-To-Front) Burrows-Wheeler Transform (bzip2) The next symbol can be statistically predicted

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

356 THE MONIST all Cretans were liars. It can be put more simply in the form: if a man makes the statement I am lying, is he lying or not? If he is, t

356 THE MONIST all Cretans were liars. It can be put more simply in the form: if a man makes the statement I am lying, is he lying or not? If he is, t 356 THE MONIST all Cretans were liars. It can be put more simply in the form: if a man makes the statement I am lying, is he lying or not? If he is, that is what he said he was doing, so he is speaking

More information

UC Berkeley, Philosophy 142, Spring 2016

UC Berkeley, Philosophy 142, Spring 2016 Logical Consequence UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane 1 Intuitive characterizations of consequence Modal: It is necessary (or apriori) that, if the premises are true, the conclusion

More information

Summary of Research about Denominational Structure in the North American Division of the Seventh-day Adventist Church

Summary of Research about Denominational Structure in the North American Division of the Seventh-day Adventist Church Summary of Research about Denominational Structure in the North American Division of the Seventh-day Adventist Church Surveys and Studies Completed in 1995 by the NAD Office of Information & Research By

More information

Why Study Syntax? Chapter 23 Lecture Roadmap. Clause vs. Sentence. Chapter 23 Lecture Roadmap. Why study syntax?

Why Study Syntax? Chapter 23 Lecture Roadmap. Clause vs. Sentence. Chapter 23 Lecture Roadmap. Why study syntax? -1 Why Study Syntax? - Syntax: ו How words work together to communicate meaning in clauses. Why study it? What meaning is legitimate to take from this verse? Evaluate differences in translation. Evaluate

More information

A Short Course in Logic Example 3

A Short Course in Logic Example 3 A Short Course in Logic Example 3 I) Recognizing Arguments III) Evaluating Arguments II) Analyzing Arguments Bad Argument: Bad Inference Identifying the Parts of the Argument Premises Inferences Diagramming

More information

Review of Philosophical Logic: An Introduction to Advanced Topics *

Review of Philosophical Logic: An Introduction to Advanced Topics * Teaching Philosophy 36 (4):420-423 (2013). Review of Philosophical Logic: An Introduction to Advanced Topics * CHAD CARMICHAEL Indiana University Purdue University Indianapolis This book serves as a concise

More information

Prompt: Explain van Inwagen s consequence argument. Describe what you think is the best response

Prompt: Explain van Inwagen s consequence argument. Describe what you think is the best response Prompt: Explain van Inwagen s consequence argument. Describe what you think is the best response to this argument. Does this response succeed in saving compatibilism from the consequence argument? Why

More information

This test accounts for 20% of the Final mark

This test accounts for 20% of the Final mark 1º teste Controlo e Automação Industrial 3 Outubro de 15 Duração 1,5 hora This test accounts for % of the Final mark 1. (a) In today s world, manufacturing processes are becoming more automatized. As an

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

Am I free? Freedom vs. Fate

Am I free? Freedom vs. Fate Am I free? Freedom vs. Fate We ve been discussing the free will defense as a response to the argument from evil. This response assumes something about us: that we have free will. But what does this mean?

More information

A Judgmental Formulation of Modal Logic

A Judgmental Formulation of Modal Logic A Judgmental Formulation of Modal Logic Sungwoo Park Pohang University of Science and Technology South Korea Estonian Theory Days Jan 30, 2009 Outline Study of logic Model theory vs Proof theory Classical

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

ELA CCSS Grade Three. Third Grade Reading Standards for Literature (RL)

ELA CCSS Grade Three. Third Grade Reading Standards for Literature (RL) Common Core State s English Language Arts ELA CCSS Grade Three Title of Textbook : Shurley English Level 3 Student Textbook Publisher Name: Shurley Instructional Materials, Inc. Date of Copyright: 2013

More information

Jensen, Irving L., Jensen s Survey of The Old Testament Survey, Moody Bible Insitute, 1978.

Jensen, Irving L., Jensen s Survey of The Old Testament Survey, Moody Bible Insitute, 1978. COURSE SYLLABUS OLD TESTAMENT SURVEY COURSE DESCRIPTION This class is designed to present the student with an overview of the Old Testament. The primary focus is placed upon the historical setting and

More information

Functionalism and the Chinese Room. Minds as Programs

Functionalism and the Chinese Room. Minds as Programs Functionalism and the Chinese Room Minds as Programs Three Topics Motivating Functionalism The Chinese Room Example Extracting an Argument Motivating Functionalism Born of failure, to wit the failures

More information

Verification and Validation

Verification and Validation 2012-2013 Verification and Validation Part III : Proof-based Verification Burkhart Wolff Département Informatique Université Paris-Sud / Orsay " Now, can we build a Logic for Programs??? 05/11/14 B. Wolff

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

Two restrictions on possible connectives

Two restrictions on possible connectives UCLA Working Papers in Linguistics, Theories of Everything Volume 17, Article 18: 154-162, 2012 Two restrictions on possible connectives Roni Katzir Raj Singh Introduction If languages could lexicalize

More information

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

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

More information

ANGELS SPECIALIST SCHOOL INTERNATIONAL SCHEME OF WORK FOR MATHEMATICS (TERM 2) GRADE 3

ANGELS SPECIALIST SCHOOL INTERNATIONAL SCHEME OF WORK FOR MATHEMATICS (TERM 2) GRADE 3 ANGELS SPECIALIST SCHOOL INTERNATIONAL SCHEME OF WORK FOR MATHEMATICS (TERM 2) GRADE 3 Week Topics Objectives 1&2. Review - Use the = sign to represent equality e.g. 75+25=95+5 Multiplication and Division

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

What would count as Ibn Sīnā (11th century Persia) having first order logic?

What would count as Ibn Sīnā (11th century Persia) having first order logic? 1 2 What would count as Ibn Sīnā (11th century Persia) having first order logic? Wilfrid Hodges Herons Brook, Sticklepath, Okehampton March 2012 http://wilfridhodges.co.uk Ibn Sina, 980 1037 3 4 Ibn Sīnā

More information

Number, Part I of II

Number, Part I of II Lesson 1 Number, Part I of II 1 massive whale shark is fed while surounded by dozens of other fishes at the Georgia Aquarium. The number 1 is an abstract idea that can describe 1 whale shark, 1 manta ray,

More information

David Hume, A Treatise of Human Nature ( ), Book I, Part III.

David Hume, A Treatise of Human Nature ( ), Book I, Part III. David Hume, A Treatise of Human Nature (1739 1740), Book I, Part III. N.B. This text is my selection from Jonathan Bennett s paraphrase of Hume s text. The full Bennett text is available at http://www.earlymoderntexts.com/.

More information

ELA CCSS Grade Five. Fifth Grade Reading Standards for Literature (RL)

ELA CCSS Grade Five. Fifth Grade Reading Standards for Literature (RL) Common Core State s English Language Arts ELA CCSS Grade Five Title of Textbook : Shurley English Level 5 Student Textbook Publisher Name: Shurley Instructional Materials, Inc. Date of Copyright: 2013

More information

6.080 / Great Ideas in Theoretical Computer Science Spring 2008

6.080 / Great Ideas in Theoretical Computer Science Spring 2008 MIT OpenCourseWare http://ocw.mit.edu 6.080 / 6.089 Great Ideas in Theoretical Computer Science Spring 2008 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.

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