Symbolic Logic Outline
|
|
|
- Jessie Parker
- 6 years ago
- Views:
Transcription
1 Symbolic Logic Outline 1. Symbolic Logic Outline 2. What is Logic? 3. How Do We Use Logic? 4. Logical Inferences #1 5. Logical Inferences #2 6. Symbolic Logic #1 7. Symbolic Logic #2 8. What If a Premise is False? #1 9. What If a Premise is False? #2 10. What If a Premise is False? #3 11. What If Both Premises are False? 12. Boolean Values #1 13. Boolean Values #2 14. Boolean Values #2 15. The AND Operation 16. Truth Table for AND Operation 17. Another Boolean Operation 18. Joining the Premises Together 19. More on OR 20. What If a Premise is False? #1 21. What If a Premise is False? #2 22. What If Both Premises are False? 23. The OR Operation 24. Truth Table for OR Operation 25. Boolean OR is Inclusive 26. What is Exclusive OR? 27. The NOT Operation 28. Truth Table for NOT Operation CS1313 Spring
2 What is Logic? Logic is the study of the methods and principles used to distinguish good (correct) from bad (incorrect) reasoning. Irving M. Copi, Introduction to Logic, 6th ed., Macmillan Publishing Co., New York, 1982, p. 3. CS1313 Spring
3 How Do We Use Logic? Every day, we put logic to work in making decisions about our lives, such as: how to dress For example: Will it be hot or cold? what to eat and drink For example: Will we need caffeine to stay up studying? where to go For example: Is it a Monday, in which case I need to go to CS1313? CS1313 Spring
4 Logical Inferences #1 We make logical inferences to reason about the decisions we need to make: It s cold this morning, so I need to wear a sweatshirt and jeans, not just a t-shirt and shorts. I ve got a big exam tomorrow that I haven t studied for, so I d better drink a couple pots of coffee. It s Monday, so I d better be on time for CS1313 so that I m on time for the quiz. CS1313 Spring
5 Logical Inferences #2 We can even construct more complicated chains of logic: 1. I have a programming project due soon. 2. I have been putting off working on it. 3. Therefore, I must start working on it today. CS1313 Spring
6 Symbolic Logic #1 In logic as in many topics, it sometimes can be easier to manage the various pieces of a task if we represent them symbolically. Let D be the statement I have a programming project due soon. Let L be the statement I have been putting off working on my programming project. Let W be the statement I must start working on my programming project today. We can then represent the chain of logic like so: D and L => W CS1313 Spring
7 Symbolic Logic #2 D and L => W This can be read in two ways: D and L implies W. If D is true and L is true, then W is true. CS1313 Spring
8 What if L is not true? What If a Premise is False? #1 D and L => W What if I ve already started working on my programming project? In that case, the statement I have been putting off working on my programming project is not true; it is false. So then the statement is also false. Why? D and L CS1313 Spring
9 What If a Premise is False? #2 D and L => W If the statement L is false, then why is the statement D and L also false? Well, in this example, L is the statement I have been putting off working on my programming project. If this statement is false, then the following statement is true: I haven t been putting off working on my programming project. In that case, the statement W I must start working on my programming project today. cannot be true, because I ve already started working on it, so I can t start working on it now. CS1313 Spring
10 What If a Premise is False? #3 D and L => W What if D is false? What if I don t have a programming project due soon? Well, statement D is: I have a programming project due soon. So if I don t have a programming project due soon, then statement D is false. In that case, statement W I must start working on my programming project today. is also false, because I don t have a programming project due soon, so I don t need to start working on it today. CS1313 Spring
11 What If Both Premises are False? D and L => W What if both D and L are false? In that case, I don t have a programming project due soon, and I ve already gotten started on the one that s due in, say, a month. So I definitely don t need to start working on it today. CS1313 Spring
12 Boolean Values #1 A Boolean value is a value that is either true or false. The name Boolean comes from George Boole, one of the 19th century mathematicians most responsible for formalizing the rules of symbolic logic. So, in our example, statements D, L and W all are Boolean statements, because each of them is either true or false that is, the value of each statement is either true or false. CS1313 Spring
13 Boolean Values #2 D and L => W We can express this idea symbolically; for example: D = true L = false W = false Note that L = false is read as The statement L is false. CS1313 Spring
14 Boolean Values #2 L = false is read as The statement L is false. In our programming project example, this means that the statement I have been putting off working on my programming project is false, which means that the statement It is not the case that I have been putting off working on my programming project is true, which in turn means that the statement I haven t been putting off working on my programming project is true. So, in this case, L = false means that I already have started working on my programming project. CS1313 Spring
15 The AND Operation From this example, we can draw some general conclusions about the statement S1 and S2 for any statement S1 and any statement S2: If S1 is true and S2 is true, then S1 and S2 is true. If S1 is false and S2 is true, then S1 and S2 is false. If S1 is true and S2 is false, then S1 and S2 is false. If S1 is false and S2 is false, then S1 and S2 is false. CS1313 Spring
16 Truth Table for AND Operation S1 and S2 We can represent this statement with a truth table: AND true S2 false true true false S1 false false false To read this, put your left index finger on the value of statement S1 (that is, either true or false) at the left side of a row, and put your right index finger on the value of statement S2 at the top of a column. Slide your left index finger rightward, and slide your right index finger downward, until they meet. The value under the two fingers is the value of the statement S1 and S2. CS1313 Spring
17 Another Boolean Operation Suppose you want to know whether today is a good day to wear a jacket. You might want to come up with rules to help you make this decision: If it s raining in the morning, then I ll wear a jacket today. If it s cold in the morning, then I ll wear a jacket today. So, for example, if you wake up one morning and it s cold, then you wear a jacket that day. Likewise, if you wake up one morning and it s raining, then you wear a jacket that day. CS1313 Spring
18 Joining the Premises Together We can construct a general rule by joining these two rules together: If it s raining in the morning OR it s cold in the morning, THEN I ll wear a jacket today. CS1313 Spring
19 More on OR We can apply symbolic logic to this set of statements, like so: Let R be the statement It s raining in the morning. Let C be the statement It s cold in the morning. Let J be the statement I ll wear a jacket today. We can then represent the chain of logic like so: R or C => J This can be read in two ways: R or C implies J. If R is true or C is true, then J is true. CS1313 Spring
20 What if C is not true? What If a Premise is False? #1 For example, what if it s hot in the morning? In that case, the statement It s cold in the morning is not true; it is false. So then what about the statement R or C? Well, even if it s hot in the morning, if it s raining then you want your jacket anyway. In other words, if R is true, then even though C is false, still R or C is true. CS1313 Spring
21 What If a Premise is False? #2 Suppose that it s not raining in the morning, but it is cold. Then the statement It s raining in the morning. is false, and the statement It s cold in the morning. is true. In which case, the statement I ll wear a jacket today. is true. In other words, if R is false and C is true, then R or C is also true. CS1313 Spring
22 What If Both Premises are False? What if both R and C are false? In that case, it s neither raining nor cold in the morning, so I won t wear my jacket. In other words, if R is false and C is false, then R or C is false. CS1313 Spring
23 The OR Operation From this example, we can draw some general conclusions about the statement S1 or S2 for any statement S1 and any statement S2: If S1 is true and S2 is true, then S1 or S2 is true. If S1 is false and S2 is true, then S1 or S2 is true. If S1 is true and S2 is false, then S1 or S2 is true. If S1 is false and S2 is false, then S1 or S2 is false. CS1313 Spring
24 Truth Table for OR Operation S1 or S2 We can represent this statement with a truth table: OR true S2 false true true true S1 false true false To read this, put your left index finger on the value of statement S1 (that is, either true or false) at the left side of a row, and put your right index finger on the value of statement S2 at the top of a column. Slide your left index finger rightward, and slide your right index finger downward, until they meet. The value under the two fingers is the value of the statement S1 or S2. CS1313 Spring
25 Boolean OR is Inclusive In symbolic logic, the Boolean operation OR is inclusive, meaning that it can be the case that both statements are true. In the jacket example, if it s raining and it s cold, then you ll take your jacket. So Boolean OR is equivalent to and/or in normal colloquial speaking. CS1313 Spring
26 What is Exclusive OR? We know that the Boolean OR operation is inclusive. But, there s also such a thing as exclusive OR, denoted XOR. XOR is like OR, except that if both statements are true, then the result is false. We WON T be worrying about XOR in this course. CS1313 Spring
27 The NOT Operation Boolean logic has another very important operation: NOT, which changes a true value to false and a false value to true. In real life, you ve probably said something like this: I care what you think NOT! Notice that the NOT exactly negates the meaning of the sentence: the sentence means I don t care what you think. From this example, we can draw some conclusions about the statement not S, for any statement S: If S is true, then not S is false. If S is false, then not S is true. CS1313 Spring
28 Truth Table for NOT Operation NOT S We can represent this statement with a truth table: NOT true false S false true CS1313 Spring
Section 1.1: Logical Form and Logical Equivalence
Section 1.1: Logical Form and Logical Equivalence An argument is a sequence of statements aimed at demonstrating the truth of an assertion. The assertion at the end of an argument is called the conclusion,
Lecture 2. Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits. Reading (Epp s textbook)
Lecture 2 Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits Reading (Epp s textbook) 2.1-2.4 1 Logic Logic is a system based on statements. A statement (or
1.1 Statements and Compound Statements
Chapter 1 Propositional Logic 1.1 Statements and Compound Statements A statement or proposition is an assertion which is either true or false, though you may not know which. That is, a statement is something
CHAPTER 1 - LOGIC OF COMPOUND STATEMENTS
CHAPTER 1 - LOGIC OF COMPOUND STATEMENTS 1.1 - Logical Form and Logical Equivalence Definition. A statement or proposition is a sentence that is either true or false, but not both. ex. 1 + 2 = 3 IS a statement
Proposition logic and argument. CISC2100, Spring 2017 X.Zhang
Proposition logic and argument CISC2100, Spring 2017 X.Zhang 1 Where are my glasses? I know the following statements are true. 1. If I was reading the newspaper in the kitchen, then my glasses are on the
Where are my glasses?
Proposition logic and argument CISC2100, Spring 2017 X.Zhang 1 Where are my glasses? I know the following statements are true. 1. If I was reading the newspaper in the kitchen, then my glasses are on the
Mathematical Logic Part One
Mathematical Logic Part One Question: How do we formalize the definitions and reasoning we use in our proofs? Where We're Going Propositional Logic (oday) Basic logical connectives. ruth tables. Logical
Topic 1: Propositional logic
Topic 1: Propositional logic Guy McCusker 1 1 University of Bath Logic! This lecture is about the simplest kind of mathematical logic: propositional calculus. We discuss propositions, which are statements
Chapter 1: The Logic of Compound Statements. January 7, 2008
Chapter 1: The Logic of Compound Statements January 7, 2008 Outline 1 1.1 Logical Form and Logical Equivalence 2 1.2 Conditional Statements 3 1.3 Valid and Invalid Arguments Central notion of deductive
PROPOSITIONAL CALCULUS
PROPOSITIONAL CALCULUS A proposition is a complete declarative sentence that is either TRUE (truth value T or 1) or FALSE (truth value F or 0), but not both. These are not propositions! Connectives and
PHIL12A Section answers, 16 February 2011
PHIL12A Section answers, 16 February 2011 Julian Jonker 1 How much do you know? 1. Show that the following sentences are equivalent. (a) (Ex 4.16) A B A and A B A B (A B) A A B T T T T T T T T T T T F
2/13/2012. Logic: Truth Tables. CS160 Rosen Chapter 1. Logic?
Logic: Truth Tables CS160 Rosen Chapter 1 Logic? 1 What is logic? Logic is a truth-preserving system of inference Truth-preserving: If the initial statements are true, the inferred statements will be true
Logic. Propositional Logic: Syntax
Logic Propositional Logic: Syntax Logic is a tool for formalizing reasoning. There are lots of different logics: probabilistic logic: for reasoning about probability temporal logic: for reasoning about
10/5/2012. Logic? What is logic? Propositional Logic. Propositional Logic (Rosen, Chapter ) Logic is a truth-preserving system of inference
Logic? Propositional Logic (Rosen, Chapter 1.1 1.3) TOPICS Propositional Logic Truth Tables Implication Logical Proofs 10/1/12 CS160 Fall Semester 2012 2 What is logic? Logic is a truth-preserving system
The Logic of Compound Statements. CSE 2353 Discrete Computational Structures Spring 2018
CSE 2353 Discrete Comutational Structures Sring 2018 The Logic of Comound Statements (Chater 2, E) Note: some course slides adoted from ublisher-rovided material Outline 2.1 Logical Form and Logical Equivalence
Note: The area of logic that deals with propositions is called the propositional calculus or propositional logic.
Ch. 1.1 Logic Logic 1 Def. A Proposition is a statement that is either true or false. Example 1: Which of the following are propositions? Statement Proposition (yes or no) UHD is a University 1 + 3 = 0
CSC Discrete Math I, Spring Propositional Logic
CSC 125 - Discrete Math I, Spring 2017 Propositional Logic Propositions A proposition is a declarative sentence that is either true or false Propositional Variables A propositional variable (p, q, r, s,...)
Deduction by Daniel Bonevac. Chapter 3 Truth Trees
Deduction by Daniel Bonevac Chapter 3 Truth Trees Truth trees Truth trees provide an alternate decision procedure for assessing validity, logical equivalence, satisfiability and other logical properties
Introduction Propositional Logic
Discrete Mathematics for CSE of KU Introduction Propositional Logic Instructor: Kangil Kim (CSE) E-mail: kikim01@konkuk.ac.kr Tel. : 02-450-3493 Room : New Milenium Bldg. 1103 Lab : New Engineering Bldg.
Introduction. Applications of discrete mathematics:
Introduction Applications of discrete mathematics: Formal Languages (computer languages) Compiler Design Data Structures Computability Automata Theory Algorithm Design Relational Database Theory Complexity
Introducing Proof 1. hsn.uk.net. Contents
Contents 1 1 Introduction 1 What is proof? 1 Statements, Definitions and Euler Diagrams 1 Statements 1 Definitions Our first proof Euler diagrams 4 3 Logical Connectives 5 Negation 6 Conjunction 7 Disjunction
Unit 1. Propositional Logic Reading do all quick-checks Propositional Logic: Ch. 2.intro, 2.2, 2.3, 2.4. Review 2.9
Unit 1. Propositional Logic Reading do all quick-checks Propositional Logic: Ch. 2.intro, 2.2, 2.3, 2.4. Review 2.9 Typeset September 23, 2005 1 Statements or propositions Defn: A statement is an assertion
Sec$on Summary. Propositions Connectives. Truth Tables. Negation Conjunction Disjunction Implication; contrapositive, inverse, converse Biconditional
Section 1.1 Sec$on Summary Propositions Connectives Negation Conjunction Disjunction Implication; contrapositive, inverse, converse Biconditional ruth ables 2 Proposi$ons A proposition is a declarative
TRUTH TABLES LOGIC (CONTINUED) Philosophical Methods
TRUTH TABLES LOGIC (CONTINUED) Philosophical Methods Here s some Vocabulary we will be talking about in this PowerPoint. Atomic Sentences: Statements which express one proposition Connectives: These are
Introduction to Artificial Intelligence Propositional Logic & SAT Solving. UIUC CS 440 / ECE 448 Professor: Eyal Amir Spring Semester 2010
Introduction to Artificial Intelligence Propositional Logic & SAT Solving UIUC CS 440 / ECE 448 Professor: Eyal Amir Spring Semester 2010 Today Representation in Propositional Logic Semantics & Deduction
Section 1.1 Propositional Logic. proposition : true = T (or 1) or false = F (or 0) (binary logic) the moon is made of green cheese
Section 1.1 Propositional Logic proposition : true = T (or 1) or false = F (or 0) (binary logic) the moon is made of green cheese go to town! X - imperative What time is it? X - interrogative propositional
Today s Lecture 2/25/10. Truth Tables Continued Introduction to Proofs (the implicational rules of inference)
Today s Lecture 2/25/10 Truth Tables Continued Introduction to Proofs (the implicational rules of inference) Announcements Homework: -- Ex 7.3 pg. 320 Part B (2-20 Even). --Read chapter 8.1 pgs. 345-361.
n logical not (negation) n logical or (disjunction) n logical and (conjunction) n logical exclusive or n logical implication (conditional)
Discrete Math Review Discrete Math Review (Rosen, Chapter 1.1 1.6) TOPICS Propositional Logic Logical Operators Truth Tables Implication Logical Equivalence Inference Rules What you should know about propositional
CSE 20: Discrete Mathematics
Spring 2018 Last Time Welcome / Introduction to Propositional Logic Card Puzzle / Bar Puzzle Same Problem Same Logic Same Answer Logic is a science of the necessary laws of thought (Kant, 1785) Logic allow
Chapter 1: Formal Logic
Chapter 1: Formal Logic Dr. Fang (Daisy) Tang ftang@cpp.edu www.cpp.edu/~ftang/ CS 130 Discrete Structures Logic: The Foundation of Reasoning Definition: the foundation for the organized, careful method
Chapter 2. Logical Notation. Bahar Aameri. Department of Computer Science University of Toronto. Jan 09, Mathematical Expression and Reasoning 1
Chapter 2 Logical Notation Bahar Aameri Department of Computer Science University of Toronto Jan 09, 2015 Mathematical Expression and Reasoning 1 General Info Instructors: Bahar Aameri Email: bahar at
Compound Propositions
Discrete Structures Compound Propositions Producing new propositions from existing propositions. Logical Operators or Connectives 1. Not 2. And 3. Or 4. Exclusive or 5. Implication 6. Biconditional Truth
CS Module 1. Ben Harsha Apr 12, 2017
CS 50010 Module 1 Ben Harsha Apr 12, 2017 Course details Course is split into 2 modules Module 1 (this one): Covers basic data structures and algorithms, along with math review. Module 2: Probability,
MA103 STATEMENTS, PROOF, LOGIC
MA103 STATEMENTS, PROOF, LOGIC Abstract Mathematics is about making precise mathematical statements and establishing, by proof or disproof, whether these statements are true or false. We start by looking
First Order Logic: Syntax and Semantics
irst Order Logic: Syntax and Semantics COMP30412 Sean Bechhofer sean.bechhofer@manchester.ac.uk Logic Recap You should already know the basics of irst Order Logic (OL) It s a prerequisite of this course!
Proving logical equivalencies (1.3)
EECS 203 Spring 2016 Lecture 2 Page 1 of 6 Proving logical equivalencies (1.3) One thing we d like to do is prove that two logical statements are the same, or prove that they aren t. Vocabulary time In
Quadratic Equations Part I
Quadratic Equations Part I Before proceeding with this section we should note that the topic of solving quadratic equations will be covered in two sections. This is done for the benefit of those viewing
Introduction to Logic
Introduction to Logic L. Marizza A. Bailey June 21, 2014 The beginning of Modern Mathematics Before Euclid, there were many mathematicians that made great progress in the knowledge of numbers, algebra
Mathematical Logic Part One
Mathematical Logic Part One Question: How do we formalize the defnitions and reasoning we use in our proofs? Where We're Going Propositional Logic (Today) Basic logical connectives. Truth tables. Logical
CS 220: Discrete Structures and their Applications. Propositional Logic Sections in zybooks
CS 220: Discrete Structures and their Applications Propositional Logic Sections 1.1-1.2 in zybooks Logic in computer science Used in many areas of computer science: ü Booleans and Boolean expressions in
COS 140: Foundations of Computer Science
COS 140: Foundations of Computer Science Boolean Algebra Fall 2018 Introduction 3 Problem................................................................. 3 Boolean algebra...........................................................
THE LOGIC OF COMPOUND STATEMENTS
THE LOGIC OF COMPOUND STATEMENTS All dogs have four legs. All tables have four legs. Therefore, all dogs are tables LOGIC Logic is a science of the necessary laws of thought, without which no employment
INTRODUCTION TO LOGIC
INTRODUCTION TO LOGIC L. MARIZZA A. BAILEY 1. The beginning of Modern Mathematics Before Euclid, there were many mathematicians that made great progress in the knowledge of numbers, algebra and geometry.
2/2/2018. CS 103 Discrete Structures. Chapter 1. Propositional Logic. Chapter 1.1. Propositional Logic
CS 103 Discrete Structures Chapter 1 Propositional Logic Chapter 1.1 Propositional Logic 1 1.1 Propositional Logic Definition: A proposition :is a declarative sentence (that is, a sentence that declares
DISCRETE MATHEMATICS BA202
TOPIC 1 BASIC LOGIC This topic deals with propositional logic, logical connectives and truth tables and validity. Predicate logic, universal and existential quantification are discussed 1.1 PROPOSITION
CS173 Lecture B, September 10, 2015
CS173 Lecture B, September 10, 2015 Tandy Warnow September 11, 2015 CS 173, Lecture B September 10, 2015 Tandy Warnow Examlet Today Four problems: One induction proof One problem on simplifying a logical
Logic and Truth Tables
Logic and Truth Tables What is a Truth Table? A truth table is a tool that helps you analyze statements or arguments in order to verify whether or not they are logical, or true. There are five basic operations
Fundamentals of Probability CE 311S
Fundamentals of Probability CE 311S OUTLINE Review Elementary set theory Probability fundamentals: outcomes, sample spaces, events Outline ELEMENTARY SET THEORY Basic probability concepts can be cast in
Equational Logic and Term Rewriting: Lecture I
Why so many logics? You all know classical propositional logic. Why would we want anything more? Equational Logic and Term Rewriting: Lecture I One reason is that we might want to change some basic logical
Propositional Logic Basics Propositional Equivalences Normal forms Boolean functions and digital circuits. Propositional Logic.
Propositional Logic Winter 2012 Propositional Logic: Section 1.1 Proposition A proposition is a declarative sentence that is either true or false. Which ones of the following sentences are propositions?
15414/614 Optional Lecture 1: Propositional Logic
15414/614 Optional Lecture 1: Propositional Logic Qinsi Wang Logic is the study of information encoded in the form of logical sentences. We use the language of Logic to state observations, to define concepts,
Logic. Propositional Logic: Syntax. Wffs
Logic Propositional Logic: Syntax Logic is a tool for formalizing reasoning. There are lots of different logics: probabilistic logic: for reasoning about probability temporal logic: for reasoning about
Course Staff. Textbook
Course Staff CS311H: Discrete Mathematics Intro and Propositional Logic Instructor: Işıl Dillig Instructor: Prof. Işıl Dillig TAs: Jacob Van Geffen, Varun Adiga, Akshay Gupta Class meets every Monday,
The statement calculus and logic
Chapter 2 Contrariwise, continued Tweedledee, if it was so, it might be; and if it were so, it would be; but as it isn t, it ain t. That s logic. Lewis Carroll You will have encountered several languages
CS70 is a course about on Discrete Mathematics for Computer Scientists. The purpose of the course is to teach you about:
CS 70 Discrete Mathematics for CS Fall 2006 Papadimitriou & Vazirani Lecture 1 Course Outline CS70 is a course about on Discrete Mathematics for Computer Scientists. The purpose of the course is to teach
Truth-Functional Logic
Truth-Functional Logic Syntax Every atomic sentence (A, B, C, ) is a sentence and are sentences With ϕ a sentence, the negation ϕ is a sentence With ϕ and ψ sentences, the conjunction ϕ ψ is a sentence
EECS 1028 M: Discrete Mathematics for Engineers
EECS 1028 M: Discrete Mathematics for Engineers Suprakash Datta Office: LAS 3043 Course page: http://www.eecs.yorku.ca/course/1028 Also on Moodle S. Datta (York Univ.) EECS 1028 W 18 1 / 26 Why Study Logic?
CSE 20 DISCRETE MATH. Fall
CSE 20 DISCRETE MATH Fall 2017 http://cseweb.ucsd.edu/classes/fa17/cse20-ab/ Today's learning goals Describe and use algorithms for integer operations based on their expansions Relate algorithms for integer
MA 3280 Lecture 05 - Generalized Echelon Form and Free Variables. Friday, January 31, 2014.
MA 3280 Lecture 05 - Generalized Echelon Form and Free Variables Friday, January 31, 2014. Objectives: Generalize echelon form, and introduce free variables. Material from Section 3.5 starting on page
Outline. EECS150 - Digital Design Lecture 4 - Boolean Algebra I (Representations of Combinational Logic Circuits) Combinational Logic (CL) Defined
EECS150 - Digital Design Lecture 4 - Boolean Algebra I (Representations of Combinational Logic Circuits) January 30, 2003 John Wawrzynek Outline Review of three representations for combinational logic:
Propositional Logic Not Enough
Section 1.4 Propositional Logic Not Enough If we have: All men are mortal. Socrates is a man. Does it follow that Socrates is mortal? Can t be represented in propositional logic. Need a language that talks
Chapter 3: Logic. Diana Pell. A statement is a declarative sentence that is either true or false, but not both.
Chapter 3: Logic Diana Pell Section 3.1: Statements and Quantifiers A statement is a declarative sentence that is either true or false, but not both. Exercise 1. Decide which of the following are statements
We last time we began introducing equivalency laws.
Monday, January 14 MAD2104 Discrete Math 1 Course website: www/mathfsuedu/~wooland/mad2104 Today we will continue in Course Notes Chapter 22 We last time we began introducing equivalency laws Today we
1 Propositional Logic
1 Propositional Logic Required reading: Foundations of Computation. Sections 1.1 and 1.2. 1. Introduction to Logic a. Logical consequences. If you know all humans are mortal, and you know that you are
Logical Structures in Natural Language: Propositional Logic II (Truth Tables and Reasoning
Logical Structures in Natural Language: Propositional Logic II (Truth Tables and Reasoning Raffaella Bernardi Università degli Studi di Trento e-mail: bernardi@disi.unitn.it Contents 1 What we have said
MAT 101 Exam 2 Logic (Part I) Fall Circle the correct answer on the following multiple-choice questions.
Name: MA 101 Exam 2 Logic (Part I) all 2017 Multiple-Choice Questions [5 pts each] Circle the correct answer on the following multiple-choice questions. 1. Which of the following is not a statement? a)
Chapter 1, Part I: Propositional Logic. With Question/Answer Animations
Chapter 1, Part I: Propositional Logic With Question/Answer Animations Chapter Summary Propositional Logic The Language of Propositions Applications Logical Equivalences Predicate Logic The Language of
CS 340: Discrete Structures for Engineers
CS 340: Discrete Structures for Engineers Instructor: Prof. Harry Porter Office: FAB 115-06 harry@cs.pdx.edu Hours: Mon 3-4, Wed 3-4, or by appointment Website: web.cecs.pdx.edu/~harry/discrete Class Mailing
HW1 graded review form? HW2 released CSE 20 DISCRETE MATH. Fall
CSE 20 HW1 graded review form? HW2 released DISCRETE MATH Fall 2017 http://cseweb.ucsd.edu/classes/fa17/cse20-ab/ Today's learning goals Translate sentences from English to propositional logic using appropriate
Intermediate Logic. Natural Deduction for TFL
Intermediate Logic Lecture Two Natural Deduction for TFL Rob Trueman rob.trueman@york.ac.uk University of York The Trouble with Truth Tables Natural Deduction for TFL The Trouble with Truth Tables The
CSCI 5582 Artificial Intelligence. Today 9/28. Knowledge Representation. Lecture 9
CSCI 5582 Artificial Intelligence Lecture 9 Jim Martin Today 9/28 Review propositional logic Reasoning with Models Break More reasoning Knowledge Representation A knowledge representation is a formal scheme
Propositional Logic: Syntax
Logic Logic is a tool for formalizing reasoning. There are lots of different logics: probabilistic logic: for reasoning about probability temporal logic: for reasoning about time (and programs) epistemic
CS100: DISCRETE STRUCTURES. Lecture 5: Logic (Ch1)
CS100: DISCREE SRUCURES Lecture 5: Logic (Ch1) Lecture Overview 2 Statement Logical Connectives Conjunction Disjunction Propositions Conditional Bio-conditional Converse Inverse Contrapositive Laws of
Write the negation of each of the following propositions without using any form of the word not :
Write the negation of each of the following propositions without using any form of the word not : Today is Thursday Today is Monday or Tuesday or Wednesday or Friday or Saturday or Sunday 2 + 1 = 3 2+1
Discrete Mathematics and Applications COT3100
Discrete Mathematics and Applications CO3100 Dr. Ungor Sources: Slides are based on Dr. G. Bebis material. uesday, January 7, 2014 oundations of Logic: Overview Propositional logic: (Sections 1.1-1.3)
Thank you for choosing AIMS!
Thank you for choosing AIMS! Please use this free activity in your classroom, and watch your students begin to experience the "Aha!" moments of real learning. We like hearing from you. Like us and share
THE LOGIC OF COMPOUND STATEMENTS
CHAPTER 2 THE LOGIC OF COMPOUND STATEMENTS Copyright Cengage Learning. All rights reserved. SECTION 2.1 Logical Form and Logical Equivalence Copyright Cengage Learning. All rights reserved. Logical Form
Numbers that are divisible by 2 are even. The above statement could also be written in other logically equivalent ways, such as:
3.4 THE CONDITIONAL & BICONDITIONAL Definition. Any statement that can be put in the form If p, then q, where p and q are basic statements, is called a conditional statement and is written symbolically
Chapter 5: Section 5-1 Mathematical Logic
Chapter 5: Section 5-1 Mathematical Logic D. S. Malik Creighton University, Omaha, NE D. S. Malik Creighton University, Omaha, NE Chapter () 5: Section 5-1 Mathematical Logic 1 / 29 Mathematical Logic
THE LOGIC OF COMPOUND STATEMENTS
CHAPTER 2 THE LOGIC OF COMPOUND STATEMENTS Copyright Cengage Learning. All rights reserved. SECTION 2.2 Conditional Statements Copyright Cengage Learning. All rights reserved. Conditional Statements Let
ANS: If you are in Kwangju then you are in South Korea but not in Seoul.
Math 15 - Spring 2017 - Homework 1.1 and 1.2 Solutions 1. (1.1#1) Let the following statements be given. p = There is water in the cylinders. q = The head gasket is blown. r = The car will start. (a) Translate
Math 31 Lesson Plan. Day 5: Intro to Groups. Elizabeth Gillaspy. September 28, 2011
Math 31 Lesson Plan Day 5: Intro to Groups Elizabeth Gillaspy September 28, 2011 Supplies needed: Sign in sheet Goals for students: Students will: Improve the clarity of their proof-writing. Gain confidence
Propositional Calculus. Problems. Propositional Calculus 3&4. 1&2 Propositional Calculus. Johnson will leave the cabinet, and we ll lose the election.
1&2 Propositional Calculus Propositional Calculus Problems Jim Woodcock University of York October 2008 1. Let p be it s cold and let q be it s raining. Give a simple verbal sentence which describes each
6.1 Logic. Statements or Propositions. Negation. The negation of a statement, p, is not p and is denoted by p Truth table: p p
6.1 Logic Logic is not only the foundation of mathematics, but also is important in numerous fields including law, medicine, and science. Although the study of logic originated in antiquity, it was rebuilt
Deductive and Inductive Logic
Deductive Logic Overview (1) Distinguishing Deductive and Inductive Logic (2) Validity and Soundness (3) A Few Practice Deductive Arguments (4) Testing for Invalidity (5) Practice Exercises Deductive and
Watching the Weather
Watching the Weather Topic Observing the weather Key Question What is the weather like today? Focus Students will observe and record weather conditions over a long period of time. Guiding Documents NCTM
DIFFERENTIAL EQUATIONS
DIFFERENTIAL EQUATIONS Basic Concepts Paul Dawkins Table of Contents Preface... Basic Concepts... 1 Introduction... 1 Definitions... Direction Fields... 8 Final Thoughts...19 007 Paul Dawkins i http://tutorial.math.lamar.edu/terms.aspx
Data Mining Prof. Pabitra Mitra Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur
Data Mining Prof. Pabitra Mitra Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Lecture 21 K - Nearest Neighbor V In this lecture we discuss; how do we evaluate the
ICS141: Discrete Mathematics for Computer Science I
ICS141: Discrete Mathematics for Computer Science I Dept. Information & Computer Sci., Originals slides by Dr. Baek and Dr. Still, adapted by J. Stelovsky Based on slides Dr. M. P. Frank and Dr. J.L. Gross
Warm-Up Problem. Is the following true or false? 1/35
Warm-Up Problem Is the following true or false? 1/35 Propositional Logic: Resolution Carmen Bruni Lecture 6 Based on work by J Buss, A Gao, L Kari, A Lubiw, B Bonakdarpour, D Maftuleac, C Roberts, R Trefler,
MA 1128: Lecture 08 03/02/2018. Linear Equations from Graphs And Linear Inequalities
MA 1128: Lecture 08 03/02/2018 Linear Equations from Graphs And Linear Inequalities Linear Equations from Graphs Given a line, we would like to be able to come up with an equation for it. I ll go over
Symbolic Logic. Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing February 5 6,
Symbolic Logic Alice E. Fischer CSCI 1166 Discrete Mathematics for Computing February 5 6, 20182018 Alice E. Fischer Symbolic Logic... 1/19 1 2 3 Alice E. Fischer Symbolic Logic... 2/19 Symbolic Logic
FUNDAMENTALS OF MATHEMATICS HANDOUT 1.3 DR. MCLOUGHLIN
021 McLoughlin Handout 1.3, page 1 of 6 FUNDAMENTALS OF MATHEMATICS HANDOUT 1.3 DR. MCLOUGHLIN Truth Table for Not K K T F F T Truth Table for And B M B M T F F F T F F F F Truth Table for Or R S R S T
CS 4649/7649 Robot Intelligence: Planning
CS 4649/7649 Robot Intelligence: Planning Probability Primer Sungmoon Joo School of Interactive Computing College of Computing Georgia Institute of Technology S. Joo (sungmoon.joo@cc.gatech.edu) 1 *Slides
Ella failed to drop the class. Ella dropped the class.
Propositional logic In many cases, a sentence is built up from one or more simpler sentences. To see what follows from such a complicated sentence, it is helpful to distinguish the simpler sentences from
Inference and Proofs (1.6 & 1.7)
EECS 203 Spring 2016 Lecture 4 Page 1 of 9 Introductory problem: Inference and Proofs (1.6 & 1.7) As is commonly the case in mathematics, it is often best to start with some definitions. An argument for
Cambridge University Press How to Prove it: A Structured Approach: Second edition Daniel J. Velleman Excerpt More information
Introduction What is mathematics? High school mathematics is concerned mostly with solving equations and computing answers to numerical questions. College mathematics deals with a wider variety of questions,
Let s start by defining what it means for two statements to be logically equivalent.
Boolean Algebra Boolean Algebra ( ) So far we have been presented with statements such as p, q, p, p q, p q, etc. It would be nice if we had a means of manipulating these statements in an algebraic manner.
Maryam Al-Towailb (KSU) Discrete Mathematics and Its Applications Math. Rules Math. of1101 Inference 1 / 13
Maryam Al-Towailb (KSU) Discrete Mathematics and Its Applications Math. Rules 151 - Math. of1101 Inference 1 / 13 Maryam Al-Towailb (KSU) Discrete Mathematics and Its Applications Math. Rules 151 - Math.
What is Logic? Introduction to Logic. Simple Statements. Which one is statement?
What is Logic? Introduction to Logic Peter Lo Logic is the study of reasoning It is specifically concerned with whether reasoning is correct Logic is also known as Propositional Calculus CS218 Peter Lo