Discrete Structures Lecture Propositional Logic
|
|
- Alison Dorsey
- 7 years ago
- Views:
Transcription
1 DEFINITION 0 EXAMPLE 1.1 EXAMPLE 1.2 EXAMPLE 1.3 EXAMPLE 1.4 EXAMPLE 2.1 EXAMPLE 2.2 EXAMPLE 2.3 EXAMPLE 2.4 A proposition is a declarative sentence that is either true or false but not both. The following is a declarative sentence. Washington D.C. is the capital of the United States of America. True. The following is a declarative sentence. Toronto is the capital of Canada. False The following is a declarative sentence. One plus one equals two = 2. True The following is a declarative sentence. Two plus two equals three = 3. False The following is not a declarative sentence because the sentence is not a statement of a fact. The sentence is a question. What time is it? The following is not a declarative sentence because the sentence is not a statement of a fact. The sentence is a command. Read this carefully. The following is not a declarative sentence because the sentence cannot be shown to be either true or false. xx + 1 = 2 The following is not a declarative sentence because the sentence cannot be shown to be either true or false. xx + yy = zz 1
2 DEFINITION 1 Let p be a proposition. The negation of p, denoted by pp (also denoted by pp), is the statement It is not the case that p. The proposition pp is read not p. The truth value of the negation of p, pp, is the opposite of the truth value of p. EXAMPLE 3 Find the negation of the proposition Michael s PC runs Linux. and express this in simple English. Solution: The negation is: It is not the case that Michael s PC runs Linux. This negation can be more simply expressed by Michael s PC does not run Linux. EXAMPLE 3.1 Find the negation of the proposition Today is Friday. and express this in simple English. Solution: The negation is: It is not the case that today is Friday. This negation can be more simply expressed by Today is not Friday. 2
3 EXAMPLE 4 Find the negation of the proposition Vandana s smartphone has at least 32GB of memory. and express this in simple English. Solution: The negation is: It is not the case that Vandana s smartphone has at least 32GB of memory. This negation can also be expressed by Vandana s smartphone does not have at least 32GB of memory. or even more simply as Vandana s smartphone has less than 32GB of memory. EXAMPLE 4.1 Find the negation of the proposition At least 10 inches of rain fell today in Miami. and express this in simple English. Solution: The negation is: It is not the case that at least 10 inches of rain fell today in Miami. This negation can be more simply expressed by Less than 10 inches of rain fell today in Miami. REMARK Table 1 displays the truth table for the negation of a proposition p. This table has a row for each of the two possible truth values of a proposition p. Each row shows the truth value of pp corresponding to the truth value of pp for this row. TABLE 1 The Truth Table for the Negation of a Proposition pp pp T F F T 3
4 REMARK The negation of a proposition can also be considered the result of the operation of the negation operator on a proposition. The negation operator constructs a new proposition from a single existing proposition. We will now introduce the logical operators that are used to form new propositions from two or more existing propositions. The logical operators are also called connectives. DEFINITION 2 Let p and q be propositions. The conjunction of p and q, denoted by pp qq, is the proposition p and q. The conjunction pp qq is true when both p and q are true and is false otherwise. TABLE 2 The Truth Table for the Conjunction of Two Propositions pp qq pp qq T T T T F F F T F F F F EXAMPLE 5 Find the conjunction of the propositions p and q where p is the proposition Today is Friday and q is the proposition It is raining today. Solution: The conjunction of these propositions, pp qq, is the proposition Today is Friday and it is raining today. This proposition is true on rainy Fridays and is false on any day that is not a Friday and on Fridays when it does not rain. DEFINITION 3 Let p and q be propositions. The disjunction of p and q, denoted by pp qq, is the proposition p or q. The disjunction pp qq is false when both p and q are false and is true otherwise. TABLE 3 The Truth Table for the Disjunction of Two Propositions pp qq pp qq T T T T F T F T T F F F 4
5 EXAMPLE 6 Find the disjunction of the propositions p and q where p is the proposition Today is Friday and q is the proposition It is raining today. Solution: The disjunction of these propositions, pp qq, is the proposition Today is Friday or it is raining today. This proposition is true on any day that is either a Friday or a rainy day (including rainy Fridays). It is only false on days that are not Fridays when it also does not rain. DEFINITION 4 Let p and q be propositions. The exclusive or of p and q, denoted by pp qq, is the proposition that is true when exactly one of p and q is true and is false otherwise. Conditional Statements TABLE 4 The Truth Table for the Exclusive OR of Two Propositions pp qq pp qq T T F T F T F T T F F F DEFINITION 5 Let p and q be propositions. The conditional statement, pp qq, is the proposition if p, then q. The conditional statement pp qq is false when p is true and q is false, and true otherwise. In the conditional statement pp qq, p is called the hypothesis (or antecedent or premise) and q is called the conclusion (or consequence). TABLE 5 The Truth Table for the Conditional Statement of Two Propositions pp qq pp qq T T T T F F F T T F F T The statement pp qq is called a conditional statement because pp qq asserts that q is true on the condition that p holds. A conditional statement is also called an implication. 5
6 if p, then q p implies q if p, q p only if q p is sufficient for q a sufficient condition for q is p q if p q whenever p q when p q is necessary for p a necessary condition for p is q q follows from p q unless pp Figure 1. Alternative phrases for pp qq EXAMPLE 7 Let p be the statement Maria learns discrete mathematics and q the statement Maria will find a good job. Express the statement pp qq as a statement in English. Solution: From the definition of conditional statements, we see that when p is the statement Maria learns discrete mathematics and q is the statement Maria will find a good job, pp qq represents the statement If Maria learns discrete mathematics, then she will find a good job. Alternatively: Maria will find a good job when she learns discrete mathematics. For Maria to get a good job, it is sufficient for her to learn discrete mathematics. Maria will find a good job unless she does not learn discrete mathematics. EXAMPLE 8 What is the value of the variable x after the statement if = 4 then xx xx + 1 if xx = 0 before this statement is encountered? (The symbol stands for assignment. The statement xx xx + 1 means the assignment of the value xx + 1 to xx.) Solution: Because = 4 is true, the assignment statement xx xx + 1 is executed. Hence xx has the value = 1 after this statement is encountered. 6
7 CONVERSE, CONTRAPOSITIVE, AND INVERSE Implication pp qq if p, then q Converse of pp qq qq pp if q, then p Contrapositive pp qq qq pp if not q, then not p Inverse pp qq pp qq if not p, then not q Only the contrapositive qq pp, has the same truth values as the implication pp qq. When two compound propositions have the same truth values they are called equivalent. Equivalence is denoted by the operator. EXAMPLE 9 What are the contrapositive, the converse, and the inverse of the conditional statement The home team wins whenever it is raining.? Solution: Because qq whenever pp is one of the ways to express the conditional statement pp qq, the original can be rewritten as If it is raining, then the home team wins. contrapositive qq pp If the home team does not win, then it is not raining. converse qq pp If the home team wins, then it is raining. inverse pp qq If it is not raining, then the home team does not win. Note: Only the contrapositive is equivalent to the original statement. DEFINITION 6 Let p and q be propositions. The biconditional statement, pp qq, is the proposition p if and only if q. The biconditional statement pp qq is true when pp and qq have the same truth values, and is false otherwise. Biconditional statements are also called bi-implications. TABLE 6 The Truth Table for the Biconditional pp qq. pp qq pp qq T T T T F F F T F F F T 7
8 The truth table for pp qq is shown in Table 6. Note that the statement pp qq is true when both the conditional statements pp qq and qq pp are true and is false otherwise. That is why we use the words if and only if to express this logical connective and why it is symbolically written by combining the symbols and. There are other common ways to express pp qq: p is necessary and sufficient for q if p then q, and conversely p iff q. The last way of expressing the biconditional statement pp qq uses the abbreviation iff for if and only if. Note that pp qq has exactly the same truth value as (pp qq) (qq pp). EXAMPLE 10 Let p be the statement You can take the flight and q be the statement You buy a ticket. Express the biconditional pp qq as an English sentence. Solution: You can take the flight if and only if you buy a ticket. Truth Tables of Compound Propositions EXAMPLE 11 Construct the truth table of the compound proposition (pp qq) (pp qq) Solution: 1. Rows: The number of rows in the truth table is equal to 2 vv, where vv is the number of propositional variables. In this case, there are two propositional variables, p and q. Hence, there are 2 2 = 4 rows. 2. Columns. There are as many columns as there are compound propositions, propositional variables, and negated propositional variables. 3. Construction. Complete the columns from left to right moving from the simple to the complex. TABLE 7 The Truth Table of (pp qq) (pp qq) pp qq qq pp qq pp qq (pp qq) (pp qq) T T F T T T T F T T F F F T F F F T F F T T F F 8
9 Precedence of Logical Operators Translating English Sentences TABLE 8 Precedence of Logical Operators Operator Precedence Precedence 1 Highest Lowest EXAMPLE 12 How can this English sentence be translated into a logical expression? You can access the Internet from campus only if you are a computer science major or you are not a freshman. Solution: Define the following propositions: Proposition English statement aa You can access the Internet from campus. cc You are a computer science major. ff You are a freshman only if maps to aa (cc ff) EXAMPLE 13 Translate the following sentence into a logical expression. Logic and Bit Operations You cannot ride the roller coaster if you are under 4 feet tall unless you are older than 16 years old. Solution: Define the following propositions: Proposition English statement qq You can ride the roller coaster. rr You are under 4 feet tall. s You are older than 16 years old. (rr ss) qq Truth Value Bit T 1 F 0 9
10 REMARK A bit is the contraction of binary digit, a zero (0) or a one (1). DEFINITION 7 EXAMPLE 12 A bit string is a sequence of zero or more bits. The length of the string is the number of bits in the string is a bit string of length nine. EXAMPLE 13 Find the bitwise OR, bitwise AND, and bitwise XOR, of the bit strings and Solution: OR AND XOR
Propositional Logic. A proposition is a declarative sentence (a sentence that declares a fact) that is either true or false, but not both.
irst Order Logic Propositional Logic A proposition is a declarative sentence (a sentence that declares a fact) that is either true or false, but not both. Are the following sentences propositions? oronto
More informationCSL105: Discrete Mathematical Structures. Ragesh Jaiswal, CSE, IIT Delhi
Propositional Logic: logical operators Negation ( ) Conjunction ( ) Disjunction ( ). Exclusive or ( ) Conditional statement ( ) Bi-conditional statement ( ): Let p and q be propositions. The biconditional
More informationCHAPTER 2. Logic. 1. Logic Definitions. Notation: Variables are used to represent propositions. The most common variables used are p, q, and r.
CHAPTER 2 Logic 1. Logic Definitions 1.1. Propositions. Definition 1.1.1. A proposition is a declarative sentence that is either true (denoted either T or 1) or false (denoted either F or 0). Notation:
More informationHandout #1: Mathematical Reasoning
Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or
More informationLogic in Computer Science: Logic Gates
Logic in Computer Science: Logic Gates Lila Kari The University of Western Ontario Logic in Computer Science: Logic Gates CS2209, Applied Logic for Computer Science 1 / 49 Logic and bit operations Computers
More informationp: I am elected q: I will lower the taxes
Implication Conditional Statement p q (p implies q) (if p then q) is the proposition that is false when p is true and q is false and true otherwise. Equivalent to not p or q Ex. If I am elected then I
More informationDISCRETE MATH: LECTURE 3
DISCRETE MATH: LECTURE 3 DR. DANIEL FREEMAN 1. Chapter 2.2 Conditional Statements If p and q are statement variables, the conditional of q by p is If p then q or p implies q and is denoted p q. It is false
More informationCHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs
CHAPTER 3 Methods of Proofs 1. Logical Arguments and Formal Proofs 1.1. Basic Terminology. An axiom is a statement that is given to be true. A rule of inference is a logical rule that is used to deduce
More informationMathematical Induction
Mathematical Induction In logic, we often want to prove that every member of an infinite set has some feature. E.g., we would like to show: N 1 : is a number 1 : has the feature Φ ( x)(n 1 x! 1 x) How
More informationDiscrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2
CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2 Proofs Intuitively, the concept of proof should already be familiar We all like to assert things, and few of us
More informationChapter 3. Cartesian Products and Relations. 3.1 Cartesian Products
Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing
More informationLogic in general. Inference rules and theorem proving
Logical Agents Knowledge-based agents Logic in general Propositional logic Inference rules and theorem proving First order logic Knowledge-based agents Inference engine Knowledge base Domain-independent
More informationPrinting Letters Correctly
Printing Letters Correctly The ball and stick method of teaching beginners to print has been proven to be the best. Letters formed this way are easier for small children to print, and this print is similar
More informationdef: An axiom is a statement that is assumed to be true, or in the case of a mathematical system, is used to specify the system.
Section 1.5 Methods of Proof 1.5.1 1.5 METHODS OF PROOF Some forms of argument ( valid ) never lead from correct statements to an incorrect. Some other forms of argument ( fallacies ) can lead from true
More informationLikewise, we have contradictions: formulas that can only be false, e.g. (p p).
CHAPTER 4. STATEMENT LOGIC 59 The rightmost column of this truth table contains instances of T and instances of F. Notice that there are no degrees of contingency. If both values are possible, the formula
More informationLogic Appendix. Section 1 Truth Tables CONJUNCTION EXAMPLE 1
Logic Appendix T F F T Section 1 Truth Tables Recall that a statement is a group of words or symbols that can be classified collectively as true or false. The claim 5 7 12 is a true statement, whereas
More informationLecture Notes in Discrete Mathematics. Marcel B. Finan Arkansas Tech University c All Rights Reserved
Lecture Notes in Discrete Mathematics Marcel B. Finan Arkansas Tech University c All Rights Reserved 2 Preface This book is designed for a one semester course in discrete mathematics for sophomore or junior
More informationBinary Adders: Half Adders and Full Adders
Binary Adders: Half Adders and Full Adders In this set of slides, we present the two basic types of adders: 1. Half adders, and 2. Full adders. Each type of adder functions to add two binary bits. In order
More information1. True or False? A voltage level in the range 0 to 2 volts is interpreted as a binary 1.
File: chap04, Chapter 04 1. True or False? A voltage level in the range 0 to 2 volts is interpreted as a binary 1. 2. True or False? A gate is a device that accepts a single input signal and produces one
More information3. Mathematical Induction
3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)
More informationMath 3000 Section 003 Intro to Abstract Math Homework 2
Math 3000 Section 003 Intro to Abstract Math Homework 2 Department of Mathematical and Statistical Sciences University of Colorado Denver, Spring 2012 Solutions (February 13, 2012) Please note that these
More informationRegular Languages and Finite Automata
Regular Languages and Finite Automata 1 Introduction Hing Leung Department of Computer Science New Mexico State University Sep 16, 2010 In 1943, McCulloch and Pitts [4] published a pioneering work on a
More informationSection 1.4 Place Value Systems of Numeration in Other Bases
Section.4 Place Value Systems of Numeration in Other Bases Other Bases The Hindu-Arabic system that is used in most of the world today is a positional value system with a base of ten. The simplest reason
More informationA Beginner s Guide To English Grammar
A Beginner s Guide To English Grammar Noncredit ESL Glendale Community College Concept by: Deborah Robiglio Created by: Edwin Fallahi, Rocio Fernandez, Glenda Gartman, Robert Mott, and Deborah Robiglio
More informationSection 1.5 Exponents, Square Roots, and the Order of Operations
Section 1.5 Exponents, Square Roots, and the Order of Operations Objectives In this section, you will learn to: To successfully complete this section, you need to understand: Identify perfect squares.
More informationThe last three chapters introduced three major proof techniques: direct,
CHAPTER 7 Proving Non-Conditional Statements The last three chapters introduced three major proof techniques: direct, contrapositive and contradiction. These three techniques are used to prove statements
More informationMathematical goals. Starting points. Materials required. Time needed
Level S2 of challenge: B/C S2 Mathematical goals Starting points Materials required Time needed Evaluating probability statements To help learners to: discuss and clarify some common misconceptions about
More informationLesson 3: Using Inequalities to Problem Solve
Lesson 3: Using Inequalities to Problem Solve Selected Content Standards Benchmarks Addressed: N-1-M Demonstrating that a rational number can be expressed in many forms, and selecting an appropriate form
More informationVISUAL GUIDE to. RX Scripting. for Roulette Xtreme - System Designer 2.0
VISUAL GUIDE to RX Scripting for Roulette Xtreme - System Designer 2.0 UX Software - 2009 TABLE OF CONTENTS INTRODUCTION... ii What is this book about?... iii How to use this book... iii Time to start...
More informationWRITING PROOFS. Christopher Heil Georgia Institute of Technology
WRITING PROOFS Christopher Heil Georgia Institute of Technology A theorem is just a statement of fact A proof of the theorem is a logical explanation of why the theorem is true Many theorems have this
More informationCartesian Products and Relations
Cartesian Products and Relations Definition (Cartesian product) If A and B are sets, the Cartesian product of A and B is the set A B = {(a, b) :(a A) and (b B)}. The following points are worth special
More informationINCIDENCE-BETWEENNESS GEOMETRY
INCIDENCE-BETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full
More informationToday s topics. Digital Computers. More on binary. Binary Digits (Bits)
Today s topics! Binary Numbers! Brookshear.-.! Slides from Prof. Marti Hearst of UC Berkeley SIMS! Upcoming! Networks Interactive Introduction to Graph Theory http://www.utm.edu/cgi-bin/caldwell/tutor/departments/math/graph/intro
More informationINTRODUCTORY SET THEORY
M.Sc. program in mathematics INTRODUCTORY SET THEORY Katalin Károlyi Department of Applied Analysis, Eötvös Loránd University H-1088 Budapest, Múzeum krt. 6-8. CONTENTS 1. SETS Set, equal sets, subset,
More informationLesson 9: Radicals and Conjugates
Student Outcomes Students understand that the sum of two square roots (or two cube roots) is not equal to the square root (or cube root) of their sum. Students convert expressions to simplest radical form.
More informationSolutions Q1, Q3, Q4.(a), Q5, Q6 to INTLOGS16 Test 1
Solutions Q1, Q3, Q4.(a), Q5, Q6 to INTLOGS16 Test 1 Prof S Bringsjord 0317161200NY Contents I Problems 1 II Solutions 3 Solution to Q1 3 Solutions to Q3 4 Solutions to Q4.(a) (i) 4 Solution to Q4.(a)........................................
More informationBase Conversion written by Cathy Saxton
Base Conversion written by Cathy Saxton 1. Base 10 In base 10, the digits, from right to left, specify the 1 s, 10 s, 100 s, 1000 s, etc. These are powers of 10 (10 x ): 10 0 = 1, 10 1 = 10, 10 2 = 100,
More informationMathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson
Mathematics for Computer Science/Software Engineering Notes for the course MSM1F3 Dr. R. A. Wilson October 1996 Chapter 1 Logic Lecture no. 1. We introduce the concept of a proposition, which is a statement
More informationLecture 16 : Relations and Functions DRAFT
CS/Math 240: Introduction to Discrete Mathematics 3/29/2011 Lecture 16 : Relations and Functions Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT In Lecture 3, we described a correspondence
More informationCorrespondence analysis for strong three-valued logic
Correspondence analysis for strong three-valued logic A. Tamminga abstract. I apply Kooi and Tamminga s (2012) idea of correspondence analysis for many-valued logics to strong three-valued logic (K 3 ).
More informationA Few Basics of Probability
A Few Basics of Probability Philosophy 57 Spring, 2004 1 Introduction This handout distinguishes between inductive and deductive logic, and then introduces probability, a concept essential to the study
More informationThe components. E3: Digital electronics. Goals:
E3: Digital electronics Goals: Basic understanding of logic circuits. Become familiar with the most common digital components and their use. Equipment: 1 st. LED bridge 1 st. 7-segment display. 2 st. IC
More informationIV. ALGEBRAIC CONCEPTS
IV. ALGEBRAIC CONCEPTS Algebra is the language of mathematics. Much of the observable world can be characterized as having patterned regularity where a change in one quantity results in changes in other
More informationIntroduction to formal semantics -
Introduction to formal semantics - Introduction to formal semantics 1 / 25 structure Motivation - Philosophy paradox antinomy division in object und Meta language Semiotics syntax semantics Pragmatics
More informationCHAPTER 7 GENERAL PROOF SYSTEMS
CHAPTER 7 GENERAL PROOF SYSTEMS 1 Introduction Proof systems are built to prove statements. They can be thought as an inference machine with special statements, called provable statements, or sometimes
More informationBasic Proof Techniques
Basic Proof Techniques David Ferry dsf43@truman.edu September 13, 010 1 Four Fundamental Proof Techniques When one wishes to prove the statement P Q there are four fundamental approaches. This document
More information26 Integers: Multiplication, Division, and Order
26 Integers: Multiplication, Division, and Order Integer multiplication and division are extensions of whole number multiplication and division. In multiplying and dividing integers, the one new issue
More informationMAT-71506 Program Verication: Exercises
MAT-71506 Program Verication: Exercises Antero Kangas Tampere University of Technology Department of Mathematics September 11, 2014 Accomplishment Exercises are obligatory and probably the grades will
More informationTRANSLATIONS IN SENTENTIAL LOGIC
TRANSLATIONS IN SENTENTIAL LOGIC 1. Introduction...100 2. The Grammar Of Sentential Logic; A Review...101 3. Conjunctions...102 4. Disguised Conjunctions...103 5. The Relational Use Of And...104 6. Connective-Uses
More informationSummary Of GCODE Commands By Category (HTT0196)
Summary Of GCODE Commands By Category (HTT0196) SET UP COMMANDS CODE COMMAND FORMAT PURPOSE PAGE # F Feed Speed Fn Designates feed rate, or rate 05 of movement, of the axes. G4 Dwell Time G4/d Specifies
More informationBeyond Propositional Logic Lukasiewicz s System
Beyond Propositional Logic Lukasiewicz s System Consider the following set of truth tables: 1 0 0 1 # # 1 0 # 1 1 0 # 0 0 0 0 # # 0 # 1 0 # 1 1 1 1 0 1 0 # # 1 # # 1 0 # 1 1 0 # 0 1 1 1 # 1 # 1 Brandon
More informationRigorous Software Development CSCI-GA 3033-009
Rigorous Software Development CSCI-GA 3033-009 Instructor: Thomas Wies Spring 2013 Lecture 11 Semantics of Programming Languages Denotational Semantics Meaning of a program is defined as the mathematical
More informationFull and Complete Binary Trees
Full and Complete Binary Trees Binary Tree Theorems 1 Here are two important types of binary trees. Note that the definitions, while similar, are logically independent. Definition: a binary tree T is full
More informationRotation Matrices and Homogeneous Transformations
Rotation Matrices and Homogeneous Transformations A coordinate frame in an n-dimensional space is defined by n mutually orthogonal unit vectors. In particular, for a two-dimensional (2D) space, i.e., n
More informationSHELL INDUSTRIAL APTITUDE BATTERY PREPARATION GUIDE
SHELL INDUSTRIAL APTITUDE BATTERY PREPARATION GUIDE 2011 Valtera Corporation. All rights reserved. TABLE OF CONTENTS OPERATIONS AND MAINTENANCE JOB REQUIREMENTS... 1 TEST PREPARATION... 2 USE OF INDUSTRIAL
More informationChapter 1. Use the following to answer questions 1-5: In the questions below determine whether the proposition is TRUE or FALSE
Use the following to answer questions 1-5: Chapter 1 In the questions below determine whether the proposition is TRUE or FALSE 1. 1 + 1 = 3 if and only if 2 + 2 = 3. 2. If it is raining, then it is raining.
More informationVocabulary. Term Page Definition Clarifying Example. biconditional statement. conclusion. conditional statement. conjecture.
CHAPTER Vocabulary The table contains important vocabulary terms from Chapter. As you work through the chapter, fill in the page number, definition, and a clarifying example. biconditional statement conclusion
More informationDigital System Design Prof. D Roychoudhry Department of Computer Science and Engineering Indian Institute of Technology, Kharagpur
Digital System Design Prof. D Roychoudhry Department of Computer Science and Engineering Indian Institute of Technology, Kharagpur Lecture - 04 Digital Logic II May, I before starting the today s lecture
More informationLecture 17 : Equivalence and Order Relations DRAFT
CS/Math 240: Introduction to Discrete Mathematics 3/31/2011 Lecture 17 : Equivalence and Order Relations Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT Last lecture we introduced the notion
More informationChapter 14: Boolean Expressions Bradley Kjell (Revised 10/08/08)
Chapter 14: Boolean Expressions Bradley Kjell (Revised 10/08/08) The if statements of the previous chapters ask simple questions such as count
More informationMathematical Induction
Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,
More informationBoolean Algebra. Boolean Algebra. Boolean Algebra. Boolean Algebra
2 Ver..4 George Boole was an English mathematician of XIX century can operate on logic (or Boolean) variables that can assume just 2 values: /, true/false, on/off, closed/open Usually value is associated
More informationModule 3: Floyd, Digital Fundamental
Module 3: Lecturer : Yongsheng Gao Room : Tech - 3.25 Email : yongsheng.gao@griffith.edu.au Structure : 6 lectures 1 Tutorial Assessment: 1 Laboratory (5%) 1 Test (20%) Textbook : Floyd, Digital Fundamental
More informationHypothetical Syllogisms 1
Phil 2302 Intro to Logic Dr. Naugle Hypothetical Syllogisms 1 Compound syllogisms are composed of different kinds of sentences in their premises and conclusions (not just categorical propositions, statements
More informationIndependent samples t-test. Dr. Tom Pierce Radford University
Independent samples t-test Dr. Tom Pierce Radford University The logic behind drawing causal conclusions from experiments The sampling distribution of the difference between means The standard error of
More informationSystems I: Computer Organization and Architecture
Systems I: Computer Organization and Architecture Lecture 9 - Register Transfer and Microoperations Microoperations Digital systems are modular in nature, with modules containing registers, decoders, arithmetic
More informationChapter 5. Selection 5-1
Chapter 5 Selection 5-1 Selection (Decision) The second control logic structure is selection: Selection Choosing between two or more alternative actions. Selection statements alter the sequential flow
More informationOn numbers which are the sum of two squares
On numbers which are the sum of two squares Leonhard Euler 1. Arithmeticians are accustomed to investigating the nature of numbers in many ways where they show their source, either by addition or by multiplication.
More informationColored Hats and Logic Puzzles
Colored Hats and Logic Puzzles Alex Zorn January 21, 2013 1 Introduction In this talk we ll discuss a collection of logic puzzles/games in which a number of people are given colored hats, and they try
More informationRead this syllabus very carefully. If there are any reasons why you cannot comply with what I am requiring, then talk with me about this at once.
LOGIC AND CRITICAL THINKING PHIL 2020 Maymester Term, 2010 Daily, 9:30-12:15 Peabody Hall, room 105 Text: LOGIC AND RATIONAL THOUGHT by Frank R. Harrison, III Professor: Frank R. Harrison, III Office:
More informationName: Class: Date: 9. The compiler ignores all comments they are there strictly for the convenience of anyone reading the program.
Name: Class: Date: Exam #1 - Prep True/False Indicate whether the statement is true or false. 1. Programming is the process of writing a computer program in a language that the computer can respond to
More informationCS510 Software Engineering
CS510 Software Engineering Propositional Logic Asst. Prof. Mathias Payer Department of Computer Science Purdue University TA: Scott A. Carr Slides inspired by Xiangyu Zhang http://nebelwelt.net/teaching/15-cs510-se
More informationCALCULATIONS. Understand the operation of addition and the related vocabulary, and recognise that addition can be done in any order
CALCULATIONS Pupils should be taught to: Understand the operation of addition and the related vocabulary, and recognise that addition can be done in any order As outcomes, Year 1 pupils should, for example:
More informationYou know from calculus that functions play a fundamental role in mathematics.
CHPTER 12 Functions You know from calculus that functions play a fundamental role in mathematics. You likely view a function as a kind of formula that describes a relationship between two (or more) quantities.
More informationCopperplate Victorian Handwriting. Victorian. Exploring your History. Created by Causeway Museum Service
Victorian Coleraine Exploring your History Copperplate Victorian Handwriting Postcards courtesy of Coleraine Museum Collection Created by Causeway Museum Service In Victorian times hand writing was very
More informationNUMBER SYSTEMS APPENDIX D. You will learn about the following in this appendix:
APPENDIX D NUMBER SYSTEMS You will learn about the following in this appendix: The four important number systems in computing binary, octal, decimal, and hexadecimal. A number system converter program
More informationLinearly Independent Sets and Linearly Dependent Sets
These notes closely follow the presentation of the material given in David C. Lay s textbook Linear Algebra and its Applications (3rd edition). These notes are intended primarily for in-class presentation
More informationalternate interior angles
alternate interior angles two non-adjacent angles that lie on the opposite sides of a transversal between two lines that the transversal intersects (a description of the location of the angles); alternate
More information6 3 4 9 = 6 10 + 3 10 + 4 10 + 9 10
Lesson The Binary Number System. Why Binary? The number system that you are familiar with, that you use every day, is the decimal number system, also commonly referred to as the base- system. When you
More informationThe Programming Interface
: In-System Programming Features Program any AVR MCU In-System Reprogram both data Flash and parameter EEPROM memories Eliminate sockets Simple -wire SPI programming interface Introduction In-System programming
More informationGates, Circuits, and Boolean Algebra
Gates, Circuits, and Boolean Algebra Computers and Electricity A gate is a device that performs a basic operation on electrical signals Gates are combined into circuits to perform more complicated tasks
More information25 Integers: Addition and Subtraction
25 Integers: Addition and Subtraction Whole numbers and their operations were developed as a direct result of people s need to count. But nowadays many quantitative needs aside from counting require numbers
More informationSYSTEMS OF EQUATIONS AND MATRICES WITH THE TI-89. by Joseph Collison
SYSTEMS OF EQUATIONS AND MATRICES WITH THE TI-89 by Joseph Collison Copyright 2000 by Joseph Collison All rights reserved Reproduction or translation of any part of this work beyond that permitted by Sections
More informationAlgebra 1. Practice Workbook with Examples. McDougal Littell. Concepts and Skills
McDougal Littell Algebra 1 Concepts and Skills Larson Boswell Kanold Stiff Practice Workbook with Examples The Practice Workbook provides additional practice with worked-out examples for every lesson.
More informationInvalidity in Predicate Logic
Invalidity in Predicate Logic So far we ve got a method for establishing that a predicate logic argument is valid: do a derivation. But we ve got no method for establishing invalidity. In propositional
More informationAlgebra I Module 1 Lessons 1 28
Eureka Math 2015 2016 Algebra I Module 1 Lessons 1 28 Eureka Math, Published by the non-profit Great Minds. Copyright 2015 Great Minds. No part of this work may be reproduced, distributed, modified, sold,
More informationReading 13 : Finite State Automata and Regular Expressions
CS/Math 24: Introduction to Discrete Mathematics Fall 25 Reading 3 : Finite State Automata and Regular Expressions Instructors: Beck Hasti, Gautam Prakriya In this reading we study a mathematical model
More informationDivision of whole numbers is defined in terms of multiplication using the idea of a missing factor.
32 CHAPTER 1. PLACE VALUE AND MODELS FOR ARITHMETIC 1.6 Division Division of whole numbers is defined in terms of multiplication using the idea of a missing factor. Definition 6.1. Division is defined
More informationThe ABC s of Web Site Evaluation
The ABC s of Web Site Evaluation by Kathy Schrock Digital Literacy by Paul Gilster Digital literacy is the ability to understand and use information in multiple formats from a wide range of sources when
More informationUndergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics
Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights
More informationExcel: Introduction to Formulas
Excel: Introduction to Formulas Table of Contents Formulas Arithmetic & Comparison Operators... 2 Text Concatenation... 2 Operator Precedence... 2 UPPER, LOWER, PROPER and TRIM... 3 & (Ampersand)... 4
More informationMatrix Algebra. Some Basic Matrix Laws. Before reading the text or the following notes glance at the following list of basic matrix algebra laws.
Matrix Algebra A. Doerr Before reading the text or the following notes glance at the following list of basic matrix algebra laws. Some Basic Matrix Laws Assume the orders of the matrices are such that
More informationBoolean Algebra Part 1
Boolean Algebra Part 1 Page 1 Boolean Algebra Objectives Understand Basic Boolean Algebra Relate Boolean Algebra to Logic Networks Prove Laws using Truth Tables Understand and Use First Basic Theorems
More informationIntroduction to Automata Theory. Reading: Chapter 1
Introduction to Automata Theory Reading: Chapter 1 1 What is Automata Theory? Study of abstract computing devices, or machines Automaton = an abstract computing device Note: A device need not even be a
More informationNP-Completeness and Cook s Theorem
NP-Completeness and Cook s Theorem Lecture notes for COM3412 Logic and Computation 15th January 2002 1 NP decision problems The decision problem D L for a formal language L Σ is the computational task:
More informationTake-Home Exercise. z y x. Erik Jonsson School of Engineering and Computer Science. The University of Texas at Dallas
Take-Home Exercise Assume you want the counter below to count mod-6 backward. That is, it would count 0-5-4-3-2-1-0, etc. Assume it is reset on startup, and design the wiring to make the counter count
More informationSection 3-3 Approximating Real Zeros of Polynomials
- Approimating Real Zeros of Polynomials 9 Section - Approimating Real Zeros of Polynomials Locating Real Zeros The Bisection Method Approimating Multiple Zeros Application The methods for finding zeros
More informationCount the Dots Binary Numbers
Activity 1 Count the Dots Binary Numbers Summary Data in computers is stored and transmitted as a series of zeros and ones. How can we represent words and numbers using just these two symbols? Curriculum
More informationB. Franklin, Printer. LESSON 3: Learning the Printing Trade
B. Franklin, Printer Elementary School (Grades K-2) LESSON 3: Learning the Printing Trade OVERVIEW Benjamin Franklin was born January 17, 1706, to Josiah and Abiah Franklin. He was the ninth of eleven
More information